咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是361-370 订阅
排序:
A model seeker: Extracting global constraint models from positive examples
A model seeker: Extracting global constraint models from pos...
收藏 引用
18th international conference on principles and practice of constraint programming, CP 2012
作者: Beldiceanu, Nicolas Simonis, Helmut Mines de Nantes France Cork Constraint Computation Centre Department of Computer Science University College Cork Ireland
We describe a system which generates finite domain constraint models from positive example solutions, for highly structured problems. the system is based on the global constraint catalog, providing the library of cons... 详细信息
来源: 评论
Space-time tradeoffs for the regular constraint
Space-time tradeoffs for the regular constraint
收藏 引用
18th international conference on principles and practice of constraint programming, CP 2012
作者: Cheng, Kenil C. K. Xia, Wei Yap, Roland H. C. School of Computing National University of Singapore Singapore
Many global constraints can be described by a regular expression or a DFA. Originally, the regular constraint, uses a DFA to describe the constraint, however, it can also be used to express a table constraint. thus, t... 详细信息
来源: 评论
Containment, equivalence and coreness from CSP to QCSP and beyond
Containment, equivalence and coreness from CSP to QCSP and b...
收藏 引用
18th international conference on principles and practice of constraint programming, CP 2012
作者: Madelaine, Florent Martin, Barnaby Clermont Université Université d'Auvergne Clermont-Ferrand France France School of Engineering and Computing Sciences Durham University Science Laboratories South Road Durham DH1 3LE United Kingdom
the constraint satisfaction problem (CSP) and its quantified extensions, whether without (QCSP) or with disjunction (QCSP ), correspond naturally to the model checking problem for three increasingly stronger fragments... 详细信息
来源: 评论
Cardinality reasoning for bin-packing constraint: Application to a tank allocation problem
Cardinality reasoning for bin-packing constraint: Applicatio...
收藏 引用
18th international conference on principles and practice of constraint programming, CP 2012
作者: Schaus, Pierre Régin, Jean-Charles Van Schaeren, Rowan Dullaert, Wout Raa, Birger ICTEAM Université Catholique de Louvain Belgium University of Nice France Antwerp Maritime Academy Belgium VU University Amsterdam University of Antwerp Netherlands University of Gent Belgium
Flow reasoning has been successfully used in CP for more than a decade. It was originally introduced by Régin in the well-known Alldifferent and Global Cardinality constraint (GCC) available in most of the CP sol... 详细信息
来源: 评论
Interactive algorithm for multi-objective constraint optimization
Interactive algorithm for multi-objective constraint optimiz...
收藏 引用
18th international conference on principles and practice of constraint programming, CP 2012
作者: Okimoto, Tenda Joe, Yongjoon Iwasaki, Atsushi Matsui, Toshihiro Hirayama, Katsutoshi Yokoo, Makoto Kyushu University Fukuoka 8190395 Japan Nagoya Insutitute of Technology Nagoya 4668555 Japan Kobe University Kobe 6580022 Japan
Many real world problems involve multiple criteria that should be considered separately and optimized simultaneously. A Multi-Objective constraint Optimization Problem (MO-COP) is the extension of a mono-objective Con... 详细信息
来源: 评论
Propagating soft table constraints
Propagating soft table constraints
收藏 引用
18th international conference on principles and practice of constraint programming, CP 2012
作者: Lecoutre, Christophe Paris, Nicolas Roussel, Olivier Tabary, Sébastien CRIL - CNRS UMR 8188 Univ. Lille Nord de France Artois F-62307 Lens France
WCSP is a framework that has attracted a lot of attention during the last decade. In particular, many filtering approaches have been developed on the concept of equivalence-preserving transformations (cost transfer op... 详细信息
来源: 评论
Boosting local consistency algorithms over floating-point numbers
Boosting local consistency algorithms over floating-point nu...
收藏 引用
18th international conference on principles and practice of constraint programming, CP 2012
作者: Belaid, Mohammed Said Michel, Claude Rueher, Michel Les Algorithmes Bât. Euclide B 2000 route des Lucioles 06903 Sophia Antipolis Cedex France
Solving constraints over floating-point numbers is a critical issue in numerous applications notably in program verification. Capabilities of filtering algorithms over the floating-point numbers ( ) have been so far l... 详细信息
来源: 评论
Increasing symmetry breaking by preserving target symmetries
Increasing symmetry breaking by preserving target symmetries
收藏 引用
18th international conference on principles and practice of constraint programming, CP 2012
作者: Lee, Jimmy H. M. Li, Jingying Department of Computer Science and Engineering Chinese University of Hong Kong Shatin N.T. Hong Kong
Breaking the exponential number of all symmetries of a constraint satisfaction problem is often too costly. In practice, we often aim at breaking a subset of the symmetries efficiently, which we call target symmetries... 详细信息
来源: 评论
Properties of energy-price forecasts for scheduling
Properties of energy-price forecasts for scheduling
收藏 引用
18th international conference on principles and practice of constraint programming, CP 2012
作者: Ifrim, Georgiana O'Sullivan, Barry Simonis, Helmut Cork Constraint Computation Centre Department of Computer Science University College Cork Ireland
Wholesale electricity markets are becoming ubiquitous, offering consumers access to competitively-priced energy. the cost of energy is often correlated with its environmental impact;for example, environmentally sustai... 详细信息
来源: 评论
Comparing solution methods for the machine reassignment problem
Comparing solution methods for the machine reassignment prob...
收藏 引用
18th international conference on principles and practice of constraint programming, CP 2012
作者: Mehta, Deepak O'Sullivan, Barry Simonis, Helmut Cork Constraint Computation Centre University College Cork Ireland
the machine reassignment problem is defined by a set of machines and a set of processes. Each machine is associated with a set of resources, e.g. CPU, RAM etc., and each process is associated with a set of required re... 详细信息
来源: 评论