咨询与建议

限定检索结果

文献类型

  • 956 篇 会议
  • 51 篇 期刊文献
  • 19 册 图书

馆藏范围

  • 1,025 篇 电子文献
  • 1 种 纸本馆藏

日期分布

学科分类号

  • 853 篇 工学
    • 833 篇 计算机科学与技术...
    • 495 篇 软件工程
    • 41 篇 信息与通信工程
    • 27 篇 电气工程
    • 17 篇 控制科学与工程
    • 8 篇 机械工程
    • 7 篇 土木工程
    • 6 篇 建筑学
    • 6 篇 化学工程与技术
    • 5 篇 材料科学与工程(可...
    • 5 篇 农业工程
    • 4 篇 力学(可授工学、理...
    • 4 篇 交通运输工程
    • 4 篇 生物工程
    • 3 篇 冶金工程
    • 3 篇 动力工程及工程热...
    • 2 篇 电子科学与技术(可...
    • 2 篇 航空宇航科学与技...
  • 530 篇 理学
    • 422 篇 数学
    • 274 篇 系统科学
    • 18 篇 统计学(可授理学、...
    • 10 篇 物理学
    • 7 篇 生物学
    • 6 篇 化学
  • 62 篇 管理学
    • 54 篇 管理科学与工程(可...
    • 34 篇 工商管理
    • 10 篇 图书情报与档案管...
  • 7 篇 法学
    • 7 篇 社会学
  • 5 篇 经济学
    • 5 篇 应用经济学
  • 5 篇 农学
    • 5 篇 作物学
  • 1 篇 教育学
  • 1 篇 医学
  • 1 篇 军事学

主题

  • 198 篇 constraint theor...
  • 163 篇 constraint satis...
  • 62 篇 constraint progr...
  • 26 篇 constrained opti...
  • 25 篇 computer program...
  • 23 篇 integer programm...
  • 21 篇 answer set progr...
  • 15 篇 logic programmin...
  • 15 篇 artificial intel...
  • 15 篇 scheduling
  • 14 篇 mathematical log...
  • 14 篇 dynamic programm...
  • 13 篇 problem solving
  • 12 篇 linear programmi...
  • 11 篇 global constrain...
  • 11 篇 programming lang...
  • 11 篇 logics and meani...
  • 10 篇 modeling languag...
  • 9 篇 constraint satis...
  • 9 篇 combinatorial op...

机构

  • 18 篇 natl univ irelan...
  • 18 篇 brown univ provi...
  • 14 篇 univ connecticut...
  • 14 篇 cork constraint ...
  • 10 篇 cork constraint ...
  • 8 篇 univ oxford comp...
  • 7 篇 natl univ irelan...
  • 7 篇 natl univ irelan...
  • 7 篇 department of me...
  • 6 篇 nicta nsw
  • 6 篇 natl univ singap...
  • 6 篇 cork constraint ...
  • 6 篇 chinese univ hon...
  • 5 篇 161 rue ada mont...
  • 5 篇 cornell univ dep...
  • 5 篇 univ coll cork d...
  • 5 篇 univ st andrews ...
  • 5 篇 ben gurion univ ...
  • 5 篇 department of co...
  • 5 篇 univ coll cork c...

作者

  • 31 篇 stuckey peter j.
  • 28 篇 o'sullivan barry
  • 22 篇 van hentenryck p...
  • 20 篇 freuder eugene c...
  • 17 篇 walsh toby
  • 17 篇 quimper claude-g...
  • 15 篇 miguel ian
  • 15 篇 michel laurent
  • 15 篇 bessiere christi...
  • 14 篇 beldiceanu nicol...
  • 14 篇 schaus pierre
  • 14 篇 schulte christia...
  • 12 篇 smith barbara m.
  • 12 篇 hebrard emmanuel
  • 12 篇 pesant gilles
  • 11 篇 régin jean-charl...
  • 11 篇 beck j. christop...
  • 10 篇 hnich brahim
  • 10 篇 gent ian p.
  • 10 篇 rueher michel

语言

  • 1,023 篇 英文
  • 3 篇 中文
检索条件"任意字段=10th International Conference on the Principles and Practice of Constraint Programming"
1026 条 记 录,以下是281-290 订阅
排序:
Decomposing global GRAMMAR constraints
Decomposing global GRAMMAR constraints
收藏 引用
13th international conference on principles and practice of constraint programming (CP 2007)
作者: Quimper, Claude-Guy Walsh, Toby Omega Omptimization NICTA UNSW
A wide range of constraints can be specified using automata or formal languages. the GRAMMAR constraint restricts the values taken by a sequence of variables to be a string from a given context-free language. Based on... 详细信息
来源: 评论
Anytime lower bounds for constraint violation minimization problems  4th
收藏 引用
4th international conference on principles and practice of constraint programming (CP 98)
作者: Cabon, B de Givry, S Verfaillie, G Matra Marconi Spaca F-31402 Toulouse 4 France Thomson CSF LCR F-91404 Orsay France Off Natl Etud & Rech Aerosp CERT F-31055 Toulouse France
constraint Violation Minimization Problems arise when dealing with over-constrained CSPs. Unfortunately, experiments and practice show that they quickly become too large and too difficult to be optimally solved. In th... 详细信息
来源: 评论
Improving Relational Consistency Algorithms Using Dynamic Relation Partitioning
Improving Relational Consistency Algorithms Using Dynamic Re...
收藏 引用
20th international conference on the principles and practice of constraint programming (CP)
作者: Schneider, Anthony Woodward, Robert J. Choueiry, Berthe Y. Bessiere, Christian Univ Nebraska Constraint Syst Lab Lincoln NE 68588 USA CNRS LIRMM Montpellier France Univ Montpellier Montpellier France
Relational consistency algorithms are instrumental for solving difficult instances of constraint Satisfaction Problems (CSPs), often allowing backtrack-free search. In this paper, we improve an algorithm for enforcing... 详细信息
来源: 评论
Synthesizing Filtering Algorithms for Global Chance-constraints
Synthesizing Filtering Algorithms for Global Chance-Constrai...
收藏 引用
15th international conference on principles and practice of constraint programming (CP 2009)
作者: Hnich, Brahim Rossi, Roberto Tarim, S. Armagan Prestwich, Steven Izmir Univ Econ Fac Comp Sci Izmir Turkey Univ Wageningen & Res Ctr Logist Decis & Informat Sci Wageningen Netherlands Univ Nottingham Operat Management Div Nottingham England Univ Coll Cork Ireland Cork Constraint Computat Ctr Cork Ireland
Stochastic constraint Satisfaction Problems (SCSPs) are a powerful modeling framework for problems under uncertainty. To solve them is a P-Space task. the only solution approach to date compiles down SCSPs into classi... 详细信息
来源: 评论
the effect of constraint representation on structural tractability
The effect of constraint representation on structural tracta...
收藏 引用
12th international conference on principles and practice of constraint programming (CP 2006)
作者: Houghton, Chris Cohen, David Green, Martin J. Univ London Royal Holloway & Bedford New Coll Dept Comp Sci Egham TW20 0EX Surrey England
Tractability results for structural subproblems have generally been considered for explicit relations listing the allowed assignments. In this paper we define a representation which allows us to express constraint rel... 详细信息
来源: 评论
New filtering algorithms for combinations of among constraints
收藏 引用
constraintS 2009年 第2期14卷 273-292页
作者: van Hoeve, Willem-Jan Pesant, Gilles Rousseau, Louis-Martin Sabharwal, Ashish Ecole Polytech Montreal PQ H3C 3A7 Canada Carnegie Mellon Univ Tepper Sch Business Pittsburgh PA 15213 USA Univ Montreal CIRRELT Montreal PQ Canada Omega Optimisat Inc Montreal PQ Canada Cornell Univ Dept Comp Sci Ithaca NY 14853 USA
Several combinatorial problems, such as car sequencing and rostering, feature sequence constraints, restricting the number of occurrences of certain values in every subsequence of a given length. We present three new ... 详细信息
来源: 评论
Cost-Based Domain Filtering for Stochastic constraint programming
收藏 引用
14th international conference on principles and practice of constraint programming (CP 2008)
作者: Rossi, Roberto Tarim, S. Armagan Hnich, Brahim Prestwich, Steven Univ Coll Cork Constraint Computat Ctr CTVR Cork Ireland Hacettepe Univ Dept Management Ankara Turkey Izmir Univ Econ Fac Comp Sci Izmir Turkey
Cost based filtering is a novel approach that combines techniques from Operations Research and constraint programming to filter from decision variable domains values that, do not lead to better solutions [7]. Stochast... 详细信息
来源: 评论
Path Consistency by Dual Consistency
Path Consistency by Dual Consistency
收藏 引用
13th international conference on principles and practice of constraint programming (CP 2007)
作者: Lecoutre, Christophe Cardon, Stephane Vion, Julien CNRS CRIL FRE 2499 F-62307 Lens France
Dual Consistency (DC) is a property of constraint Networks (CNs) which is equivalent, in its unrestricted form, to Path Consistency (PC). the principle is to perform successive singleton checks (i.e. enforcing arc con... 详细信息
来源: 评论
A Parametric Propagator for Discretely Convex Pairs of SUM constraints
A Parametric Propagator for Discretely Convex Pairs of SUM C...
收藏 引用
19th Annual international conference on principles and practice of constraint programming (CP)
作者: Monette, Jean-Noel Beldiceanu, Nicolas Flener, Pierre Pearson, Justin Uppsala Univ Dept Informat Technol Uppsala 75105 Sweden CNRS INRIA Mines Nantes TASC Team F-44307 Nantes France
We introduce a propagator for abstract pairs of Sum constraints, where the expressions in the sums respect a form of convexity. this propagator is parametric and can be instantiated for various concrete pairs, includi... 详细信息
来源: 评论
constraint patterns
收藏 引用
9th international conference on principles and practice of constraint programming
作者: Walsh, T Univ Coll Cork Cork Constraint Computat Ctr Cork Ireland
constraint models contain a number of common patterns. For example, many constraint models involve an array of decision variables with symmetric rows and/or columns. By documenting such constraint patterns, we can sha... 详细信息
来源: 评论