咨询与建议

限定检索结果

文献类型

  • 309 篇 会议
  • 8 册 图书
  • 6 篇 期刊文献

馆藏范围

  • 322 篇 电子文献
  • 1 种 纸本馆藏

日期分布

学科分类号

  • 274 篇 工学
    • 267 篇 计算机科学与技术...
    • 165 篇 软件工程
    • 27 篇 信息与通信工程
    • 19 篇 电气工程
    • 4 篇 化学工程与技术
    • 3 篇 动力工程及工程热...
    • 3 篇 土木工程
    • 2 篇 机械工程
    • 2 篇 冶金工程
    • 2 篇 控制科学与工程
    • 2 篇 建筑学
    • 2 篇 农业工程
    • 2 篇 环境科学与工程(可...
    • 1 篇 力学(可授工学、理...
    • 1 篇 材料科学与工程(可...
    • 1 篇 测绘科学与技术
    • 1 篇 石油与天然气工程
  • 192 篇 理学
    • 143 篇 数学
    • 116 篇 系统科学
    • 7 篇 统计学(可授理学、...
    • 5 篇 物理学
    • 4 篇 化学
    • 3 篇 生物学
    • 1 篇 地球物理学
  • 24 篇 管理学
    • 22 篇 管理科学与工程(可...
    • 15 篇 工商管理
    • 3 篇 图书情报与档案管...
  • 4 篇 经济学
    • 4 篇 应用经济学
  • 4 篇 法学
    • 4 篇 社会学
  • 2 篇 农学
    • 2 篇 作物学

主题

  • 64 篇 constraint theor...
  • 52 篇 constraint satis...
  • 31 篇 constraint progr...
  • 11 篇 constrained opti...
  • 8 篇 problem solving
  • 7 篇 scheduling
  • 6 篇 mathematical log...
  • 5 篇 artificial intel...
  • 4 篇 modeling languag...
  • 4 篇 model checking
  • 4 篇 optimization
  • 4 篇 programming lang...
  • 4 篇 logics and meani...
  • 3 篇 polynomial appro...
  • 3 篇 constraint handl...
  • 3 篇 semantics
  • 3 篇 algorithm analys...
  • 3 篇 regular constrai...
  • 2 篇 solution countin...
  • 2 篇 software enginee...

机构

  • 5 篇 cork constraint ...
  • 5 篇 cork constraint ...
  • 4 篇 ecole polytech m...
  • 4 篇 fraunhofer first...
  • 4 篇 natl univ irelan...
  • 4 篇 kth royal inst t...
  • 4 篇 mines de nantes
  • 4 篇 brown univ provi...
  • 3 篇 univ bologna dei...
  • 3 篇 nicta nsw
  • 3 篇 university of co...
  • 3 篇 161 rue ada mont...
  • 3 篇 iiia-csic campus...
  • 3 篇 univ connecticut...
  • 3 篇 natl univ irelan...
  • 3 篇 univ coll cork c...
  • 3 篇 univ london impe...
  • 3 篇 univ toronto dep...
  • 2 篇 lund university ...
  • 2 篇 university of pa...

作者

  • 16 篇 stuckey peter j.
  • 11 篇 o'sullivan barry
  • 9 篇 bessiere christi...
  • 8 篇 miguel ian
  • 8 篇 beldiceanu nicol...
  • 8 篇 hebrard emmanuel
  • 8 篇 pesant gilles
  • 7 篇 van hentenryck p...
  • 7 篇 walsh toby
  • 7 篇 schulte christia...
  • 7 篇 quimper claude-g...
  • 6 篇 nightingale pete...
  • 6 篇 gent ian p.
  • 6 篇 choueiry berthe ...
  • 6 篇 simonis helmut
  • 6 篇 schaus pierre
  • 5 篇 rousseau louis-m...
  • 5 篇 hnich brahim
  • 5 篇 deville yves
  • 5 篇 bessière christi...

语言

  • 322 篇 英文
  • 1 篇 中文
检索条件"任意字段=7th International Conference on Principles and Practice of Constraint Programming, CP 2001"
323 条 记 录,以下是41-50 订阅
排序:
Advisors for incremental propagation
Advisors for incremental propagation
收藏 引用
13th international conference on principles and practice of constraint programming (cp 2007)
作者: Lagerkvist, Mikael Z. Schulte, Christian Royal Inst Technol Sch Informat & Commun Technol Stockholm Sweden
While incremental propagation for global constraints is recognized to be important, little research has been devoted to how propagator-centered constraint programming systems should support incremental propagation. th... 详细信息
来源: 评论
Sampling strategies and variable selection in weighted degree heuristics
Sampling strategies and variable selection in weighted degre...
收藏 引用
13th international conference on principles and practice of constraint programming (cp 2007)
作者: Grimes, Diarmuid Wallace, Richard J. Natl Univ Ireland Univ Coll Cork Cork Constraint Computat Ctr Cork Ireland
An important class of CSP heuristics work by sampling information during search in order to inform subsequent decisions. An example is the use of failures, in the form of constraint weights, to guide variable selectio... 详细信息
来源: 评论
Eplex: Harnessing Mathematical programming solvers for constraint Logic programming
收藏 引用
11th international conference on principles and practice of constraint programming (cp 2005)
作者: Shen, K Schimpf, J Univ London Imperial Coll Sci & Technol London SW7 2AZ England
the eplex library of the (ECLPSe)-P-i constraint Logic programming platform allows the integration of Mathematical programming techniques with its native constraint Logic programming techniques within the same unified... 详细信息
来源: 评论
Bound-consistent deviation constraint
Bound-consistent deviation constraint
收藏 引用
13th international conference on principles and practice of constraint programming (cp 2007)
作者: Schaus, Pierre Deville, Yves Dupont, Pierre Catholic Univ Louvain Dept Comp Sci & Engn B-3000 Louvain Belgium
Deviation is a recent constraint to balance a set of variables with respect to a given mean. We show that the propagators recently introduced are not bound-consistent when the mean is rational. We introduce bound-cons... 详细信息
来源: 评论
Specific filtering algorithms for over-constrained problems  7
收藏 引用
7th international conference on principles and practice of constraint programming, cp 2001
作者: Petit, thierry Règin, Jean-Charles Bessière, Christian ILOG 1681 route des Dolines Valbonne06560 France 161 rue Ada Montpellier Cedex 534392 France
In recent years, many constraint-specific filtering algorithms have been introduced. Such algorithms use the semantics of the constraint to perform filtering more efficiently than a generic algorithm. the usefulness o... 详细信息
来源: 评论
Continuous Casting Scheduling with constraint programming
Continuous Casting Scheduling with Constraint Programming
收藏 引用
20th international conference on the principles and practice of constraint programming (cp)
作者: Gay, Steven Schaus, Pierre De Smedt, Vivian Catholic Univ Louvain Louvain Belgium PSI Met Dusseldorf Belgium
Although the Steel Mill Slab problem (prob 38 of CSPLib) has already been studied by the cp community, this approach is unfortunately not used anymore by steel producers since last century. Continuous casting is prefe... 详细信息
来源: 评论
An abstract interpretation based combinator for modelling while loops in constraint programming
An abstract interpretation based combinator for modelling wh...
收藏 引用
13th international conference on principles and practice of constraint programming (cp 2007)
作者: Denmat, Tristan Gotlieb, Arnaud Ducasse, Mireille INSA IRISA Campus Univ Beaulieu F-35042 Rennes France INRIA IRISA F-35042 Rennes France
We present the w constraint combinator that models while loops in constraint programming. Embedded in a finite domain constraint solver, it allows programmers to develop non-trivial arithmetical relations using loops,... 详细信息
来源: 评论
Parallelizing constraint programs transparently
Parallelizing constraint programs transparently
收藏 引用
13th international conference on principles and practice of constraint programming (cp 2007)
作者: Michel, Laurent See, Andrew Van Hentenryck, Pascal Univ Connecticut Storrs CT 06269 USA Brown Univ Providence RI 02912 USA
the availability of commodity multi-core and multi-processor machines and the inherent parallelism in constraint programming search offer significant opportunities for constraint programming. they also present a funda... 详细信息
来源: 评论
SOGgy constraints: Soft Open Global constraints
SOGgy Constraints: Soft Open Global Constraints
收藏 引用
15th international conference on principles and practice of constraint programming (cp 2009)
作者: Maher, Michael J. NICTA Sydney NSW Australia
We investigate soft open constraints. We generalize and unify classes of soft constraints and adapt them to the open setting. We give sufficient Conditions for generalized classes of decomposition-based and edit-based... 详细信息
来源: 评论
Decomposing Utility Functions in Bounded Max-Sum for Distributed constraint Optimization
Decomposing Utility Functions in Bounded Max-Sum for Distrib...
收藏 引用
20th international conference on the principles and practice of constraint programming (cp)
作者: Rollon, Emma Larrosa, Javier Univ Politecn Cataluna Barcelona Spain
Bounded Max-Sum is a message-passing algorithm for solving Distributed constraint Optimization Problems (DCOP) able to compute solutions with a guaranteed approximation ratio. In this paper we show that the introducti... 详细信息
来源: 评论