咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是791-800 订阅
排序:
To be or not to be ... a global constraint
收藏 引用
9th international conference on principles and practice of constraint programming
作者: Bessière, C Van Hentenryck, P CNRS LIRMM F-34392 Montpellier 5 France Brown Univ Providence RI 02912 USA
constraint propagation is widely recognized as a fundamental reasoning component in constraint programming. In the last decade, the concept of "global constraint" has attracted significant attention, since i... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Using constraint programming and simulation for execution monitoring and on-line rescheduling with uncertainty  9th
收藏 引用
9th international conference on principles and practice of constraint programming, CP 2003
作者: Bidot, Julien ILOG S. A 9 rue de Verdun B.P. 85 Gentilly Cedex France L. G.P. /ENIT 47 av. d’Azereix B.P. 1629 Tarbes Cedex France
来源: 评论
Languages versus packages for constraint problem solving
收藏 引用
9th international conference on principles and practice of constraint programming
作者: Wallace, M Univ London Imperial Coll Sci Technol & Med London England
One strand of CP research seeks to design a small set of primitives and operators that can be used to build an appropriate algorithm for solving any given combinatorial problem. the aim is to "package" CP, s... 详细信息
来源: 评论
Abstracting constraints using constraints  9th
收藏 引用
9th international conference on principles and practice of constraint programming, CP 2003
作者: Gibbons, James Cork Constraint Computation Centre Department of Computer Science University College Cork Ireland
来源: 评论
constraint reasoning over strings
收藏 引用
9th international conference on principles and practice of constraint programming
作者: Golden, K Pang, WL NASA Ames Res Ctr Computat Sci Div Moffett Field CA 94035 USA NASA Ames Res Ctr QSS Grp Inc Moffett Field CA 94035 USA
this paper discusses an approach to representing and reasoning about constraints over strings. We discuss how string domains can often be concisely represented using regular languages, and how constraints over strings... 详细信息
来源: 评论
Efficient representation of discrete sets for constraint programming
收藏 引用
9th international conference on principles and practice of constraint programming
作者: Ohnishi, S Tasaka, H Tamura, N Kobe Univ Grad Sch Sci & Technol Kobe Hyogo Japan
In constraint solving for finite domains, efficient set representation is an important issue. In this paper we propose an enhancement of Erwig9;s diet representation called the enhanced diet, which represents a fin... 详细信息
来源: 评论
Using the breakout algorithm to identify hard and unsolvable subproblems
收藏 引用
9th international conference on principles and practice of constraint programming
作者: Eisenberg, C Faltings, B EPFL Swiss Fed Inst Technol LIA IN Ecublens CH-1015 Lausanne Switzerland
Local search algorithms have been very successful for solving constraint satisfaction problems (CSP). However, a major weakness has been that local search is unable to detect unsolvability and is thus not suitable for... 详细信息
来源: 评论
Periodic constraint satisfaction problems: Polynomial-time algorithms
收藏 引用
9th international conference on principles and practice of constraint programming
作者: Chen, H Cornell Univ Dept Comp Sci Ithaca NY 14853 USA
We study a generalization of the constraint satisfaction problem (CSP), the periodic constraint satisfaction problem. An input instance of the periodic CSP is a finite set of "generating" constraints over a ... 详细信息
来源: 评论
A SAT-based approach to multiple sequence alignment
收藏 引用
9th international conference on principles and practice of constraint programming
作者: Prestwich, S Higgins, D O'Sullivan, O Natl Univ Ireland Univ Coll Cork Cork Constraint Computat Ctr Cork Ireland
Multiple sequence alignment is a central problem in Bioinformatics. A known integer programming approach is to apply branch-and-cut to exponentially large graph-theoretic models. this paper describes a new integer pro... 详细信息
来源: 评论