咨询与建议

限定检索结果

文献类型

  • 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...
  • 26 篇 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,073 篇 英文
  • 3 篇 中文
检索条件"任意字段=9th International Conference on Principles and Practice of Constraint Programming"
1076 条 记 录,以下是811-820 订阅
排序:
Fast bound consistency for the global cardinality constraint
收藏 引用
9th international conference on principles and practice of constraint programming
作者: Katriel, I thiel, S Max Planck Inst Informat Saarbrucken Germany
We show an algorithm for bound consistency of global cardinality constraints, which runs in time O(n+n9;) plus the time required to sort the assignment variables by range endpoints, where n is the number of assignm... 详细信息
来源: 评论
Bounded backtracking for the valued constraint satisfaction problems
收藏 引用
9th international conference on principles and practice of constraint programming
作者: Terrioux, C Jégou, P Univ Aix Marseille 3 LSIS F-13397 Marseille 20 France
We propose a new method for solving Valued constraint Satisfaction Problems based both on backtracking techniques-branch and bound- and the notion of tree-decomposition of valued constraint networks. this mixed method... 详细信息
来源: 评论
constraint satisfaction differential problems
收藏 引用
9th international conference on principles and practice of constraint programming
作者: Cruz, J Barahona, P Univ Nova Lisboa FCT DI Ctr Artificial Intelligence P-2829516 Caparica Portugal
System dynamics is often modeled by means of parametric differential equations. Despite their expressive power, they are difficult to reason about and make safe decisions, given their non-linearity and the important e... 详细信息
来源: 评论
Interactive tradeoff generation
收藏 引用
9th international conference on principles and practice of constraint programming, CP 2003
作者: Duggan, Moyra O’Sullivan, Barry Freuder, Eugene C. Cork Constraint Computation Centre Department of Computer Science University College Cork Ireland
来源: 评论
FeReRA: A multi-agent approach to constraint satisfaction
收藏 引用
9th international conference on principles and practice of constraint programming, CP 2003
作者: Basharu, Muhammed School of Computing The Robert Gordon University St. Andrew Street Aberdeen United Kingdom
来源: 评论
Useful explanations
收藏 引用
9th international conference on principles and practice of constraint programming, CP 2003
作者: O’Callaghan, Barry Freuder, Eugene C. O’Sullivan, Barry Cork Constraint Computation Centre Department of Computer Science University College Cork Ireland
来源: 评论
Teacher and learner profiles for constraint acquisition
收藏 引用
9th international conference on principles and practice of constraint programming, CP 2003
作者: O’Connell, Sarah O’Sullivan, Barry Freuder, Eugene C. Cork Constraint Computation Centre Department of Computer Science University College Cork Ireland
来源: 评论
Algorithmic mechanism design and constraints
收藏 引用
9th international conference on principles and practice of constraint programming, CP 2003
作者: Holland, Alan O’Sullivan, Barry Cork Constraint Computation Centre Department of Computer Science University College Cork Ireland
来源: 评论
Optimising the representation and evaluation of semiring combination constraints
收藏 引用
9th international conference on principles and practice of constraint programming, CP 2003
作者: Kelleher, Jerome O’Sullivan, Barry Cork Constraint Computation Centre Department of Computer Science University College Cork Cork Ireland
来源: 评论
Supertree construction with constraint programming
收藏 引用
9th international conference on principles and practice of constraint programming, CP 2003
作者: Gent, Ian P. Prosser, Patrick Smith, Barbara M. Wei, Wu School of Computer Science University of St. Andrews United Kingdom Department of Computing Science University of Glasgow United Kingdom School of Computing and Engineering University of Huddersfield United Kingdom
来源: 评论