咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是411-420 订阅
排序:
A Parallel SAT-Based Framework for Closed Frequent Itemsets Mining  1
收藏 引用
24th international conference on the principles and practice of constraint programming (CP)
作者: Dlala, Imen Ouled Jabbour, Said Raddaoui, Badran Sais, Lakhdar Univ Artois CNRS CRIL F-62307 Lens France Univ Paris Saclay CNRS SAMOVAR Telecom SudParis Evry France Univ Tunis LARODEC Tunis Tunisia
constraint programming (CP) and propositional satisfiability (SAT) based framework for modeling and solving pattern mining tasks has gained a considerable audience in recent years. However, this nice declarative and g... 详细信息
来源: 评论
Modelling Destructive Assignments
Modelling Destructive Assignments
收藏 引用
19th Annual international conference on principles and practice of constraint programming (CP)
作者: Francis, Kathryn Navas, Jorge Stuckey, Peter J. Natl ICT Australia Victoria Res Lab Melbourne Vic 3010 Australia Univ Melbourne Melbourne Vic 3010 Australia
Translating procedural object oriented code into constraints is required for many processes that reason about the execution of this code. the most obvious is for symbolic execution of the code, where the code is execu... 详细信息
来源: 评论
constraint-based lagrangian relaxation
Constraint-based lagrangian relaxation
收藏 引用
20th international conference on the principles and practice of constraint programming, CP 2014
作者: Fontaine, Daniel Laurentmichel, L. Van Hentenryck, Pascal University of Connecticut Storrs CT 06269-2155 United States NICTA Australian National University Australia
this paper studies how to generalize Lagrangian relaxation to high-level optimization models, including constraint-programming and local search models. It exploits the concepts of constraint violation (typically used ... 详细信息
来源: 评论
Asynchronous Forward Bounding Revisited
Asynchronous Forward Bounding Revisited
收藏 引用
19th Annual international conference on principles and practice of constraint programming (CP)
作者: Wahbi, Mohamed Ezzahir, Redouane Bessiere, Christian Mines Nantes TASC INRIA CNRS Mines Nantes France Univ Ibn Zohr Natl Sch Appl Sci Rabat Morocco Univ Montpellier Montpellier France
the Distributed constraint Optimization Problem (DCOP) is a powerful framework for modeling and solving applications in multi-agent coordination. Asynchronous Forward Bounding (AFB_BJ) is one of the best algorithms to... 详细信息
来源: 评论
AND/OR search spaces and the semantic width of constraint networks
收藏 引用
11th international conference on principles and practice of constraint programming (CP 2005)
作者: Mateescu, R Dechter, R Univ Calif Irvine Sch Informat & Comp Sci Irvine CA 92697 USA
the primary contribution of this paper consists in using the AND/OR search paradigm [1,2] to define the new concept of semantic width of a constraint network. the well known parameter tree-width is graph based, and ca... 详细信息
来源: 评论
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
来源: 评论
Declarative Interpretations of Session-Based Concurrency  15
Declarative Interpretations of Session-Based Concurrency
收藏 引用
17th international Symposium on principles and practice of Declarative programming (PPDP)
作者: Cano, Mauricio Rueda, Camilo Lopez, Hugo A. Perez, Jorge A. Pontificia Univ Javeriana Cali Cali Colombia Tech Univ Denmark Lyngby Denmark Univ Lisbon LaSIGE Lisbon Portugal Univ Groningen Groningen Netherlands
Session-based concurrency is a type-based approach to the analysis of communication-intensive systems. Correct behavior in these systems may be specified in an operational or declarative style: the former defines how ... 详细信息
来源: 评论
ASP with non-herbrand partial functions: a language and system for practical use
收藏 引用
thEORY AND practice OF LOGIC programming 2013年 第4-5期13卷 547-561页
作者: Balduccini, Marcello Eastman Kodak Co Rochester NY 14650 USA
Dealing with domains involving substantial quantitative information in Answer Set programming (ASP) often results in cumbersome and inefficient encodings. Hybrid "CASP" languages combining ASP and constraint... 详细信息
来源: 评论
Global constraints for integer and set value precedence
收藏 引用
10th international conference on principles and practice of constraint programming, CP 2004
作者: Law, Yat Chiu Lee, Jimmy H. M. Department of Computer Science and Engineering The Chinese University of Hong Kong Shatin Hong Kong
the paper introduces value precedence on integer and set sequences. A useful application of the notion is in breaking symmetries of indistinguishable values, an important class of symmetries in practice. Although valu... 详细信息
来源: 评论
Using blocks for constraint satisfaction  4th
收藏 引用
4th international conference on principles and practice of constraint programming (CP 98)
作者: Seybold, B Metzger, F Ogan, G Simon, K ETH Zurich Inst Theoret Comp Sci Zurich Switzerland ETH Zurich Inst Mfg Technol & Machine Tools Zurich Switzerland
the assembly problem is the spatial joining of separate rigid bodies within a CAD/CAM-system. the solution to the assembly does not only need to contain one consistent instantiation, but also qualitative information. ... 详细信息
来源: 评论