咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是821-830 订阅
排序:
constraint programming next challenge: Simplicity of use
收藏 引用
10th international conference on principles and practice of constraint programming, CP 2004
作者: Puget, Jean-Francois ILOG 9 avenue de Verdun Gentilly France
constraint programming (CP) is a healthy research area in the academic community. the growing number of participants to the CP conference series, as well as the number of workshops around CP is a good evidence of it. ...
来源: 评论
A pseudo-boolean set covering machine
A pseudo-boolean set covering machine
收藏 引用
18th international conference on principles and practice of constraint programming, CP 2012
作者: Germain, Pascal Giguère, Sébastien Roy, Jean-Francis Zirakiza, Brice Laviolette, François Quimper, Claude-Guy Département d'Informatique et de Génie Logiciel Université Laval Québec QC Canada
the Set Covering Machine (SCM) is a machine learning algorithm that constructs a conjunction of Boolean functions. this algorithm is motivated by the minimization of a theoretical bound. However, finding the optimal c... 详细信息
来源: 评论
A hybrid method for planning and scheduling
收藏 引用
10th international conference on principles and practice of constraint programming, CP 2004
作者: Hooker, John N. Carnegie Mellon University United States
We combine mixed integer linear programming (MILP) and constraint programming (CP) to solve planning and scheduling problems. Tasks are allocated to facilities using MILP and scheduled using CP, and the two are linked... 详细信息
来源: 评论
Guiding Backtrack Search by Tracking Variables During constraint Propagation  29
Guiding Backtrack Search by Tracking Variables During Constr...
收藏 引用
29th international conference on principles and practice of constraint programming, CP 2023
作者: Audemard, Gilles Lecoutre, Christophe Prud'homme, Charles CRIL Univ. Artois CNRS France TASC IMT-Atlantique LS2N-CNRS France
It is well-known that variable ordering heuristics play a central role in solving efficiently constraint Satisfaction Problem (CSP) instances. From the early 809;s, and during more than two decades, the dynamic var... 详细信息
来源: 评论
Solving large-scale nonlinear programming problems by constraint partitioning
收藏 引用
11th international conference on principles and practice of constraint programming - CP 2005
作者: Wah, Benjamin W. Chen, Yixin Department of Electrical and Computer Engineering Coordinated Science Laboratory University of Illinois Urbana-Champaign Urbana IL 6180I United States
In this paper, we present a constraint-partitioning approach for finding local optimal solutions of large-scale mixed-integer nonlinear programming problems (MINLPs). Based on our observation that MINLPs in many engin... 详细信息
来源: 评论
Improved Bounds of Integer Solution Counts via Volume and Extending to Mixed-Integer Linear constraints  30
Improved Bounds of Integer Solution Counts via Volume and Ex...
收藏 引用
30th international conference on principles and practice of constraint programming, CP 2024
作者: Ge, Cunjing Biere, Armin National Key Laboratory for Novel Software Technology Nanjing University China School of Artificial Intelligence Nanjing University China University of Freiburg Germany
Solution counting and solution space integration over linear constraints are important problems with many applications. Previous works addressed either only counting integer points in polytopes (integer counting) with... 详细信息
来源: 评论
A constraint programming approach to the stable marriage problem  1
收藏 引用
7th international conference on principles and practice of constraint programming, CP 2001
作者: Gent, Ian P Irving, Robert W Manlove, David F Prosser, Patrick Smith, Barbara M School of Computer Science University of St. Andrews United Kingdom Department of Computing Science University of Glasgow United Kingdom School of Computing and Mathematics University of Huddersfield United Kingdom
the Stable Marriage problem (SM) is an extensively-studied combinatorial problem with many practical applications. In this paper we present two encodings of an instance I of SM as an instance J of a constraint Satisfa... 详细信息
来源: 评论
Symmetry breaking constraints for value symmetries in constraint satisfaction
收藏 引用
constraintS 2006年 第2-3期11卷 221-267页
作者: Law, Y. C. Lee, J. H. M. Chinese Univ Hong Kong Dept Comp Sci & Engn Shatin Hong Kong Peoples R China
constraint satisfaction problems (CSPs) sometimes contain both variable symmetries and value symmetries, causing adverse effects on CSP solvers based on tree search. As a remedy, symmetry breaking constraints are comm... 详细信息
来源: 评论
constraint programming: An efficient and practical approach to solving the job-shop problem  2nd
Constraint programming: An efficient and practical approach ...
收藏 引用
2nd international conference on principles and practice of constraint programming, CP 1996
作者: Colombani, Yves Laboratoire D’Informatique De Marseille-URA CNRS 1787 163 av. De Luminy Marseille Cedex 913288 France
Recent improvements in constraint programming have made it possible to tackle hard problems in a practical way. Before this, these problems were solved only by specialized programs often complex to implement. Scheduli... 详细信息
来源: 评论
PW-AC: Extending compact-table to enforce pairwise consistency on table constraints  24th
PW-AC: Extending compact-table to enforce pairwise consisten...
收藏 引用
24th international conference on the principles and practice of constraint programming, CP 2018
作者: Schneider, Anthony Choueiry, Berthe Y. Constraint Systems Laboratory University of Nebraska-Lincoln Lincoln United States
the Compact-Table (CT) algorithm is the current state-of-the-art algorithm for enforcing Generalized Arc Consistency (GAC) on table constraints during search. Recently, algorithms for enforcing Pairwise Consistency (P... 详细信息
来源: 评论