咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是321-330 订阅
排序:
Nested constraint Programs
Nested Constraint Programs
收藏 引用
20th international conference on the principles and practice of constraint programming (CP)
作者: Chu, Geoffrey Stuckey, Peter J. Univ Melbourne Natl ICT Australia Dept Comp & Informat Syst Victoria Lab Melbourne Vic 3010 Australia
Many real world discrete optimization problems are expressible as nested problems where we solve one optimization or satisfaction problem as a subproblem of a larger meta problem. Nested problems include many importan... 详细信息
来源: 评论
Insights into Parallelism with Intensive Knowledge Sharing
Insights into Parallelism with Intensive Knowledge Sharing
收藏 引用
20th international conference on the principles and practice of constraint programming (CP)
作者: Sabharwal, Ashish Samulowitz, Horst Allen Inst Artificial Intelligence AI2 Seattle WA 98103 USA IBM Watson Res Ctr Yorktown Hts NY 10598 USA
Novel search space splitting techniques have recently been successfully exploited to paralleliz constraint programming and Mixed Integer programming solvers. We first show how universal hashing can be used to extend o... 详细信息
来源: 评论
A constraint programming Approach for Solving Patient Transportation Problems  1
收藏 引用
24th international conference on the principles and practice of constraint programming (CP)
作者: Cappart, Quentin thomas, Charles Schaus, Pierre Rousseau, Louis-Martin Catholic Univ Louvain Louvain La Neuve Belgium Ecole Polytech Montreal Montreal PQ Canada Interuniv Res Ctr Enterprise Networks Logist & Tr Montreal PQ Canada
the Patient Transportation Problem (PTP) aims to bring patients to health centers and to take them back home once the care has been delivered. All the requests are known beforehand and a schedule is built the day befo... 详细信息
来源: 评论
Beyond Feasibility: CP Usage in Constrained-Random Functional Hardware Verification
Beyond Feasibility: CP Usage in Constrained-Random Functiona...
收藏 引用
19th Annual international conference on principles and practice of constraint programming (CP)
作者: Naveh, Reuven Metodi, Amit Cadence Design Systems Israel
constraint programming (CP) figures prominently in the process of functional hardware verification. the verification process is based on generating random tests according to given set of constraints. In this paper. we... 详细信息
来源: 评论
the intricacies of three-valued extensional semantics for higher-order logic programs
The intricacies of three-valued extensional semantics for hi...
收藏 引用
33rd international conference on Logic programming colocated with the 23rd international conference on principles and practice of constraint programming / 20th international conference on theory and Applications of Satisfiability Testing
作者: Rondogiannis, Panos Symeonidou, Ioanna Univ Athens Athens Greece
M. Bezem defined an extensional semantics for positive higher-order logic programs. Recently, it was demonstrated by Rondogiannis and Symeonidou that Bezem's technique can be extended to higher-order logic program... 详细信息
来源: 评论
A constraint store based on multivalued decision diagrams
A constraint store based on multivalued decision diagrams
收藏 引用
13th international conference on principles and practice of constraint programming (CP 2007)
作者: Andersen, H. R. Hadzic, T. Hooker, J. N. Tiedemann, P. IT Univ Copenhagen Copenhagen Denmark Carnegie Mellon Univ Pittsburgh PA USA
the typical constraint store transmits a limited amount of information because it consists only of variable domains. We propose a richer constraint store in the form of a limited-width multivalued decision diagram (MD... 详细信息
来源: 评论
principles and practice of constraint programming  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: thomas Schiex Simon de Givry
this book constitutes the proceedings of the 25th international conference on principles and practice of constraint programming, CP 2019, held in Stamford, CT, USA, France, in September/October 2019.
来源: 评论
Guarded constraint Models Define Treewidth Preserving Reductions  25th
Guarded Constraint Models Define Treewidth Preserving Reduct...
收藏 引用
25th international conference on the principles and practice of constraint programming (CP)
作者: Mitchell, David Simon Fraser Univ Vancouver BC Canada
Combinatorial problem solving is often carried out by reducing problems to SAT or some other finite domain constraint language. Explicitly defining reductions can be avoided by using so-called "model and solve&qu... 详细信息
来源: 评论
Self configuring constraint programming systems  9th
收藏 引用
9th international conference on principles and practice of constraint programming, CP 2003
作者: Carchrae, Tom Cork Constraint Computation Centre Department of Computer Science University College Cork Cork Ireland
来源: 评论
Protein Structure Prediction with Large Neighborhood constraint programming Search
收藏 引用
14th international conference on principles and practice of constraint programming (CP 2008)
作者: Dotu, Ivan Cebrian, Manuel Van Hentenryck, Pascal Clote, Peter Brown Univ Dept Comp Sci Box 1910 Providence RI 02912 USA Univ Calif San Diego Dept Comp Sci & Engn La Jolla CA 92093 USA Boston Coll Biol Dept Chestnut Hill MA 02467 USA
Protein structure predictions is regarded as a highly challenging problem both for the biology and for the computational communities. Many approaches have been developed in the recent years. moving to increasingly com... 详细信息
来源: 评论