咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是291-300 订阅
排序:
the theory of grammar constraints
The theory of grammar constraints
收藏 引用
12th international conference on principles and practice of constraint programming (CP 2006)
作者: Sellmann, Meinolf Brown Univ Dept Comp Sci Providence RI 02912 USA
By introducing the Regular Membership constraint, Gilles Pesant pioneered the idea of basing constraints on formal languages. the paper presented here is highly motivated by this work, taking the obvious next step, na... 详细信息
来源: 评论
Linking Prefixes and Suffixes for constraints Encoded Using Automata with Accumulators
Linking Prefixes and Suffixes for Constraints Encoded Using ...
收藏 引用
20th international conference on the principles and practice of constraint programming (CP)
作者: Beldiceanu, Nicolas Carlsson, Mats Flener, Pierre Rodriguez, Maria Andreina Francisco Pearson, Justin CNRS INRIA TASC Team Mines Nantes F-44307 Nantes France SICS Kista 16429 Sweden Uppsala Univ Dept Informat Technol Uppsala 75105 Sweden
Consider a constraint on a sequence of variables functionally determining a result variable that is unchanged under reversal of the sequence. Most such constraints have a compact encoding via an automaton augmented wi... 详细信息
来源: 评论
Universal Booleanization of constraint Models
收藏 引用
14th international conference on principles and practice of constraint programming (CP 2008)
作者: Huang, Jinbo Natl ICT Australia Sydney NSW Australia
While the efficiency and scalability of modern SARI technology offers an intriguing alternative approach to constraint Solving via translation to SAT, previous work has mostly focused of the translation of specific ty... 详细信息
来源: 评论
A new class of binary CSPs for which arc-consistency is a decision procedure
收藏 引用
9th international conference on principles and practice of constraint programming, CP 2003
作者: Cohen, David A. Computer Science Department Royal Holloway University of London United Kingdom
In this report weintroduce a new hybrid class for which arcconsistency is a decision procedure. this new hybrid class includes infinitely many instances whose tractability is not assured by any tractable language or s... 详细信息
来源: 评论
An extension of complexity bounds and dynamic heuristics for tree-decompositions of CSP
An extension of complexity bounds and dynamic heuristics for...
收藏 引用
12th international conference on principles and practice of constraint programming (CP 2006)
作者: Jegou, Philippe Ndiaye, Samba Ndojh Terrioux, Cyril Univ Aix Marseille 3 UMR CNRS 6168 LSIS F-13397 Marseille 20 France
this paper deals with methods exploiting tree-decomposition approaches for solving constraint networks. We consider here the practical efficiency of these approaches by defining five classes of variable orders more an... 详细信息
来源: 评论
A filter for the circuit constraint
A filter for the circuit constraint
收藏 引用
12th international conference on principles and practice of constraint programming (CP 2006)
作者: Kaya, Latife Genc Hooker, J. N. Carnegie Mellon Univ Tepper Sch Business Pittsburgh PA 15213 USA
We present an incomplete filtering algorithm for the circuit constraint. the filter removes redundant values by eliminating nonhamiltonian edges from the associated graph. We identify nonhamiltonian edges by analyzing... 详细信息
来源: 评论
Dynamic lex constraints
Dynamic lex constraints
收藏 引用
12th international conference on principles and practice of constraint programming (CP 2006)
作者: Puget, Jean-Francois ILOG F-94253 Gentilly France
Symmetries are one of the difficulties constraint programming users have to deal with. One way to get rid of symmetries is to add lex constraints. However, it can adversely affect the efficiency of a tree search metho... 详细信息
来源: 评论
A generic model and hybrid algorithm for Hoist Scheduling Problems  4th
收藏 引用
4th international conference on principles and practice of constraint programming (CP 98)
作者: Rodosek, R Wallace, M Univ London Imperial Coll Sci Technol & Med London SW7 2AZ England
this paper presents a robust approach to solve Hoist Scheduling Problems (HSPs) based on an integration of constraint Logic programming (CLP) and Mixed Integer programming (MIP). By contrast with previous dedicated mo... 详细信息
来源: 评论
On the behavior and application of constraint weighting  5th
收藏 引用
5th international conference on principles and practice of constraint programming (CP 99)
作者: thornton, J Sattar, A Griffith Univ Sch Informat Technol Southport Qld 4215 Australia Griffith Univ Sch Comp & Informat Technol Nathan Qld 4111 Australia
In this paper we compare the performance of three constraint weighting schemes with one of the latest and fastest WSAT heuristics: novelty. We extend previous results from satisfiability testing by looking at the broa... 详细信息
来源: 评论
Approximate Compilation of constraints into Multivalued Decision Diagrams
收藏 引用
14th international conference on principles and practice of constraint programming (CP 2008)
作者: Hadzic, Tarik Hooker, John N. O'Sullivan, Barry Tiedemann, Peter Cork Constraint Computat Ctr Cork Ireland Carnegie Mellon Univ Pittsburgh PA 15213 USA Univ Copenhagen DK-1168 Copenhagen Denmark
We present tin incremental refinement algorithm for approximate compilation of constraint satisfaction models into multivalued decision diagrams (MDDs). the algorithm uses a vertex splitting operation that relies on t... 详细信息
来源: 评论