咨询与建议

限定检索结果

文献类型

  • 1,005 篇 会议
  • 51 篇 期刊文献
  • 20 册 图书

馆藏范围

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

日期分布

学科分类号

  • 900 篇 工学
    • 876 篇 计算机科学与技术...
    • 526 篇 软件工程
    • 45 篇 信息与通信工程
    • 29 篇 电气工程
    • 22 篇 控制科学与工程
    • 10 篇 机械工程
    • 6 篇 建筑学
    • 6 篇 土木工程
    • 5 篇 力学(可授工学、理...
    • 5 篇 材料科学与工程(可...
    • 5 篇 化学工程与技术
    • 5 篇 交通运输工程
    • 5 篇 农业工程
    • 5 篇 生物工程
    • 4 篇 动力工程及工程热...
    • 3 篇 航空宇航科学与技...
    • 3 篇 环境科学与工程(可...
  • 551 篇 理学
    • 436 篇 数学
    • 283 篇 系统科学
    • 19 篇 统计学(可授理学、...
    • 11 篇 物理学
    • 8 篇 生物学
    • 5 篇 化学
  • 84 篇 管理学
    • 69 篇 管理科学与工程(可...
    • 44 篇 工商管理
    • 18 篇 图书情报与档案管...
  • 9 篇 法学
    • 9 篇 社会学
  • 7 篇 经济学
    • 7 篇 应用经济学
  • 5 篇 农学
    • 5 篇 作物学
  • 2 篇 教育学
    • 2 篇 教育学
  • 1 篇 军事学

主题

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

机构

  • 19 篇 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 篇 161 rue ada mont...
  • 6 篇 natl univ singap...
  • 6 篇 univ st andrews ...
  • 6 篇 cork constraint ...
  • 6 篇 chinese univ hon...
  • 5 篇 cornell univ dep...
  • 5 篇 univ coll cork d...
  • 5 篇 ben gurion univ ...
  • 5 篇 brown univ dept ...
  • 5 篇 department of co...

作者

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

语言

  • 1,072 篇 英文
  • 3 篇 中文
  • 1 篇 其他
检索条件"任意字段=9th International Conference on Principles and Practice of Constraint Programming"
1076 条 记 录,以下是731-740 订阅
排序:
constraint-based combinators for local search
收藏 引用
10th international conference on the principles and practice of constraint programming
作者: Van Hentenryck, P Michel, L Liu, LY Brown Univ Providence RI 02912 USA Univ Connecticut Storrs CT 06269 USA
One of the most appealing features of constraint programming is its rich constraint language for expressing combinatorial optimization problems. this paper demonstrates that traditional combinators from constraint pro... 详细信息
来源: 评论
the impact of AND/OR search spaces on constraint satisfaction and counting
收藏 引用
10th international conference on the principles and practice of constraint programming
作者: Dechter, R Mateescu, R Univ Calif Irvine Dnald Bren Sch Informat & Comp Sci Irvine CA 92697 USA
the contribution of this paper is in demonstrating the impact of AND/OR search spaces view on solutions counting. In contrast to the traditional (OR) search space view, the AND/OR search space displays independencies ... 详细信息
来源: 评论
Quantified constraint satisfaction and 2-semilattice polymorphisms
收藏 引用
10th international conference on the principles and practice of constraint programming
作者: Chen, HB Cornell Univ Dept Comp Sci Ithaca NY 14853 USA
the quantified constraint satisfaction problem (QCSP) is a natural and useful generalization of the constraint satisfaction problem (CSP) in which both universal and existential quantification of variables is permitte... 详细信息
来源: 评论
the tractability of global constraints
收藏 引用
10th international conference on the principles and practice of constraint programming
作者: Bessiere, C Hebrard, E Hnich, B Walsh, T CNRS LIRMM Montpellier France Natl Univ Ireland Univ Coll Cork Cork Constraint Computat Ctr Cork Ireland
constraint propagation is one of the techniques central to the success of constraint programming. Fast algorithms are used to prune the search space either before or during backtracking search. Propagating global cons... 详细信息
来源: 评论
Challenges for constraint programming in networking
收藏 引用
10th international conference on the principles and practice of constraint programming
作者: Simonis, H Univ London Imperial Coll Sci Technol & Med IC Parc London SW7 2AZ England Parc Technol Ltd London England
In this talk we present a number of problems for network design, planning and analysis and show how they can be addressed with different hybrid CP solutions. Clearly, this problem domain is of huge practical importanc... 详细信息
来源: 评论
A domain consistency algorithm for the stretch constraint
收藏 引用
10th international conference on the principles and practice of constraint programming
作者: Hellsten, L Pesant, G van Beek, P Univ Waterloo Waterloo ON N2L 3G1 Canada Ecole Polytech Montreal PQ H3C 3A7 Canada
the stretch constraint occurs in many rostering problems that arise in the industrial and public service sectors. In this paper we present an efficient algorithm for domain consistency propagation of the stretch const... 详细信息
来源: 评论
Long-term learning for algorithm control
收藏 引用
10th international conference on the principles and practice of constraint programming
作者: Carchrae, T Natl Univ Ireland Univ Coll Cork Cork Constraint Computat Ctr Cork Ireland
Despite both the commercial and academic success of optimization technology and specifically constraint programming, using the technology still requires significant expertise. For non-trivial applications the quality ...
来源: 评论
A new algorithm for maintaining arc consistency after constraint retraction
收藏 引用
10th international conference on the principles and practice of constraint programming
作者: Surynek, P Barták, R Charles Univ Fac Math & Phys Inst Theoret Comp Sci Prague 11800 1 Czech Republic
Dynamic constraint Satisfaction Problems play a very important role in modeling and solving real-life problems where the set of constraints is changing. the paper addresses a problem of maintaining arc consistency aft... 详细信息
来源: 评论
Counting-based look-ahead schemes for constraint satisfaction
收藏 引用
10th international conference on the principles and practice of constraint programming
作者: Kask, K Dechter, R Gogate, V Donald Bren School of Information and Computer Science University of California IrvineCA92967 United States
the paper presents a new look-ahead scheme for backtracking search for solving constraint satisfaction problems. this look-ahead scheme computes a heuristic for value ordering and domain pruning. the heuristic is base... 详细信息
来源: 评论
Full dynamic substitutability by SAT encoding
收藏 引用
10th international conference on the principles and practice of constraint programming
作者: Prestwich, S Univ Coll Cork Constraint Computat Ctr Dept Comp Sci Cork Ireland
Symmetry in constraint problems can be exploited to greatly improve search performance. A form of symmetry that has been the subject of considerable research is value interchangeability. Automatically detecting full i... 详细信息
来源: 评论