咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是321-330 订阅
排序:
Efficient Generic Search Heuristics within the EMBP Framework
Efficient Generic Search Heuristics within the EMBP Framewor...
收藏 引用
15th international conference on principles and practice of constraint programming (CP 2009)
作者: Le Bras, Ronan Zanarini, Alessandro Pesant, Gilles Ecole Polytech Montreal PQ H3C 3A7 Canada
Accurately estimating the distribution of solutions to a problem, should such solutions exist, provides efficient search heuristics. the purpose of this paper is to propose new ways of computing such estimates, with d... 详细信息
来源: 评论
Generating propagators for finite set constraints
Generating propagators for finite set constraints
收藏 引用
12th international conference on principles and practice of constraint programming (CP 2006)
作者: Tack, Guido Schulte, Christian Smolka, Gert Univ Saarland PS Lab Saarbrucken Germany Royal Inst Technol ECS ICT KTH Stockholm Sweden
Ideally, programming propagators as implementations of constraints should be an entirely declarative specification process for a large class of constraints: a high-level declarative specification is automatically tran... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Heavy-tailed runtime distributions: Heuristics, models and optimal refutations
Heavy-tailed runtime distributions: Heuristics, models and o...
收藏 引用
12th international conference on principles and practice of constraint programming (CP 2006)
作者: Hulubei, Tudor O'Sullivan, Barry Natl Univ Ireland Univ Coll Cork Dept Comp Sci Cork Constraint Computat Ctr Cork Ireland
来源: 评论
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... 详细信息
来源: 评论
Ensuring a relevant visiting order of the leaf nodes during a tree search  5th
收藏 引用
5th international conference on principles and practice of constraint programming (CP 99)
作者: Prcovic, N Neveu, B CERMICS F-06902 Sophia Antipolis France
We define a model for heuristic tree search which assumes that the quality of the heuristic used for ordering the successors of a node improves as depth increases. We show that a usual value ordering heuristic for sol... 详细信息
来源: 评论
Exploiting Decomposition in constraint Optimization Problems
收藏 引用
14th international conference on principles and practice of constraint programming (CP 2008)
作者: Kitching, Matthew Bacchus, Fahiem Univ Toronto Dept Comp Sci Toronto ON M5S 1A1 Canada
Decomposition is it powerful technique for reducing the size of a backtracking search tree. However, when solving constraint optimization problems (COP'S) the standard technique of invoking a separate recursion to... 详细信息
来源: 评论
Value Interchangeability in Scenario Generation
Value Interchangeability in Scenario Generation
收藏 引用
19th Annual international conference on principles and practice of constraint programming (CP)
作者: Prestwich, Steven D. Laumanns, Marco Kawas, Ban Univ Coll Cork Dept Comp Sci Cork Constraint Computat Ctr Cork Ireland IBM Res Zurich CH-8803 Ruschlikon Switzerland IBM Corp Thomson J Watson Res ctr Yorktown Hts NY USA
Several types of symmetry have been identified and exploited in constraint programming, leading to large reductions in search time. We present a novel application of one such form of symmetry: detecting dynamic value ... 详细信息
来源: 评论
Local Consistency and SAT-Solvers
Local Consistency and SAT-Solvers
收藏 引用
16th Annual international conference on the principles and practice of constraint programming
作者: Petke, Justyna Jeavons, Peter Univ Oxford Comp Lab Oxford OX1 3QD England
In this paper we show that the power of using k-consistency techniques in a constraint problem is precisely captured by using a particular inference rule, which we call positive-hyper-resolution, on the direct Boolean... 详细信息
来源: 评论
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... 详细信息
来源: 评论