咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是771-780 订阅
排序:
On-demand bound computation for best-first constraint optimization
收藏 引用
10th international conference on principles and practice of constraint programming, CP 2004
作者: Sachenbacher, Martin Williams, Brian C. MIT Computer Science and Artificial Intelligence Laboratory CambridgeMA02139 United States
An important class of algorithms for constraint optimization searches for solutions guided by a heuristic evaluation function (bound). When only a few best solutions are required, significant effort can be wasted pre-... 详细信息
来源: 评论
Streamlined constraint reasoning
收藏 引用
10th international conference on principles and practice of constraint programming, CP 2004
作者: Gomes, Carla P. Sellmann, Meinolf Cornell University Department of Computer Science 4130 Upson Hall IthacaNY14853 United States
We introduce a new approach for focusing constraint reasoning using so-called streamlining constraints. Such constraints partition the solution space to drive the search first towards a small and structured combinator... 详细信息
来源: 评论
A constraint-based graphics library for B-Prolog
收藏 引用
10th international conference on principles and practice of constraint programming, CP 2004
作者: Zhou, Neng-Fa The City University of New York Afany Software United States
CGLIB is a high-level graphics library for B-Prolog, a constraint logic programming system. the library provides primitives for creating and manipulating graphical objects and a set of constraints including non-overla...
来源: 评论
constraint propagation as a proof system
收藏 引用
10th international conference on principles and practice of constraint programming, CP 2004
作者: Atserias, Albert Kolaitis, Phokion G. Vardi, Moshe Y. Universitat Politécnica de Catalunya Barcelona Spain University of California Santa Cruz United States Rice University Houston United States
Refutation proofs can be viewed as a special case of constraint propagation, which is a fundamental technique in solving constraint-satisfaction problems. the generalization lifts, in a uniform way, the concept of ref... 详细信息
来源: 评论
A regular language membership constraint for finite sequences of variables
收藏 引用
10th international conference on principles and practice of constraint programming, CP 2004
作者: Pesant, Gilles École Polytechnique de Montréal Montreal Canada Université de Montréal C.P. 6128 succ. Centre-ville MontrealH3C 3J7 Canada
this paper describes a global constraint on a fixed-length sequence of finite-domain variables requiring that the corresponding sequence of values taken by these variables belong to a given regular language, thereby g... 详细信息
来源: 评论
Backtrack-free search for real-time constraint satisfaction
收藏 引用
10th international conference on principles and practice of constraint programming, CP 2004
作者: Beck, J. Christopher Carchrae, Tom Freuder, Eugene C. Ringwelski, Georg Cork Constraint Computation Centre University College Cork Ireland
A constraint satisfaction problem (CSP) model can be preprocessed to ensure that any choices made will lead to solutions, without the need to backtrack. this can be especially useful in a real-time process control or ... 详细信息
来源: 评论
the cardinality matrix constraint
收藏 引用
10th international conference on principles and practice of constraint programming, CP 2004
作者: Régin, Jean-Charles Gomes, Carla P. ILOG 1681 route des Dolines Valbonne06560 France Computing and Information Science Cornell University IthacaNY14850 United States
Cardinality matrix problems are the underlying structure of several real world problems such as rostering, sports scheduling, and timetabling. these are hard computational problems given their inherent combinatorial s... 详细信息
来源: 评论
Speeding up constraint propagation
收藏 引用
10th international conference on principles and practice of constraint programming, CP 2004
作者: Schulte, Christian Stuckey, Peter J. IMIT KTH – Royal Institute of Technology Sweden Dept. of Comp. Sci. and Soft. Eng Univ. of Melbourne Australia
this paper presents a model and implementation techniques for speeding up constraint propagation. Two fundamental approaches to improving constraint propagation are explored: keeping track of which propagators are at ... 详细信息
来源: 评论
Unary resource constraint with optional activities
收藏 引用
10th international conference on principles and practice of constraint programming, CP 2004
作者: Vilím, Petr Barták, Roman Čepek, Ondřej Charles University Malostranské náměstí 2/25 Praha 1 Czech Republic Institute of Finance and Administration VŠFS Czech Republic
Scheduling is one of the most successful application areas of constraint programming mainly thanks to special global constraints designed to model resource restrictions. Among these global constraints, edge-finding fi... 详细信息
来源: 评论
A constraint-based system for hiring and managing graduate teaching assistants
收藏 引用
10th international conference on principles and practice of constraint programming, CP 2004
作者: Lim, Ryan Guddeti, Venkata Praveen Choueiry, Berthe Y. Constraint Systems Laboratory University of Nebraska-Lincoln United States
We have designed and implemented a system for the management of Graduate Teaching Assistants (GTAs) in our department. the system is based on constraint Processing techniques and is operated through web-based interfac...
来源: 评论