咨询与建议

限定检索结果

文献类型

  • 1,005 篇 会议
  • 51 篇 期刊文献
  • 5 册 图书

馆藏范围

  • 1,060 篇 电子文献
  • 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 篇 dynamic programm...
  • 13 篇 problem solving
  • 12 篇 linear programmi...
  • 10 篇 global constrain...
  • 9 篇 modeling languag...
  • 9 篇 constraint satis...
  • 9 篇 combinatorial op...
  • 9 篇 java programming...
  • 7 篇 model checking
  • 7 篇 optimization
  • 7 篇 local search

机构

  • 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,058 篇 英文
  • 3 篇 中文
检索条件"任意字段=9th International Conference on Principles and Practice of Constraint Programming"
1061 条 记 录,以下是261-270 订阅
排序:
the StockingCost constraint
The StockingCost Constraint
收藏 引用
20th international conference on the principles and practice of constraint programming (CP)
作者: Houndji, Vinasetan Ratheil Schaus, Pierre Wolsey, Laurence Deville, Yves Catholic Univ Louvain Louvain La Neuve Belgium
Many production planning problems call for the minimization of stocking/storage costs. this paper introduces a new global constraint StockingCost ([X-1,..., X-n], [d(1),..., d(n)], H, c) that holds when each item X-i ... 详细信息
来源: 评论
the IntSat Method for Integer Linear programming
The IntSat Method for Integer Linear Programming
收藏 引用
20th international conference on the principles and practice of constraint programming (CP)
作者: Nieuwenhuis, Robert Barcelogic Com Barcelona Spain
Conflict-Driven Clause-Learning (CDCL) SAT solvers can automatically solve very large real-world problems. To go beyond, and in particular in order to solve and optimize problems involving linear arithmetic constraint... 详细信息
来源: 评论
Scalable Parallel Numerical CSP Solver
Scalable Parallel Numerical CSP Solver
收藏 引用
20th international conference on the principles and practice of constraint programming (CP)
作者: Ishii, Daisuke Yoshizoe, Kazuki Suzumura, Toyotaro Tokyo Inst Technol Tokyo 152 Japan Japan Sci & Technol Agcy Kawaguchi Saitama Japan IBM Res Corp Dublin Ireland
We present a parallel solver for numerical constraint satisfaction problems (NCSPs) that can scale on a number of cores. Our proposed method runs worker solvers on the available cores and simultaneously the workers co... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Domain Views for constraint programming
Domain Views for Constraint Programming
收藏 引用
20th international conference on the principles and practice of constraint programming (CP)
作者: Van Hentenryck, Pascal Michel, Laurent NICTA Australia Providence RI 02912 USA Univ Connecticut Storrs CT 06269 USA
Traditional constraint-programming systems provide the concept of variable views which implement a view of the type y = f(x) by delegating operations on variable y to variable x. While the traditional support is limit... 详细信息
来源: 评论
Case Study: constraint programming in a System Level Synthesis Framework
Case Study: Constraint Programming in a System Level Synthes...
收藏 引用
20th international conference on the principles and practice of constraint programming (CP)
作者: Li, Shuo Hemani, Ahmed Royal Inst Technol Sch Informat & Commun Technol Dept Elect Syst S-16440 Stockholm Sweden
this article presents a case study of using a constraint programming solver in a system level synthesis framework called SYLVA. the solver is used to find the repetition vector of a synchronous data flow graph and ser... 详细信息
来源: 评论
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... 详细信息
来源: 评论
the Propagation Depth of Local Consistency
The Propagation Depth of Local Consistency
收藏 引用
20th international conference on the principles and practice of constraint programming (CP)
作者: Berkholz, Christoph Rhein Westfal TH Aachen Aachen Germany
We establish optimal bounds on the number of nested propagation steps in k-consistency tests. It is known that local consistency algorithms such as arc-, path- and k-consistency are not efficiently parallelizable. the... 详细信息
来源: 评论
Solving Intensional Weighted CSPs by Incremental Optimization with BDDs
Solving Intensional Weighted CSPs by Incremental Optimizatio...
收藏 引用
20th international conference on the principles and practice of constraint programming (CP)
作者: Bofill, Miquel Palahi, Miquel Suy, Josep Villaret, Mateu Univ Girona Dept Informat Matemat Aplicada & Estat Girona Spain
We present a method for solving weighted constraint Satisfaction Problems, based on translation into a constraint Optimization Problem and iterative calls to an SMT solver, with successively tighter bounds of the obje... 详细信息
来源: 评论
Improvement of the Embarrassingly Parallel Search for Data Centers
Improvement of the Embarrassingly Parallel Search for Data C...
收藏 引用
20th international conference on the principles and practice of constraint programming (CP)
作者: Regin, Jean-Charles Rezgui, Mohamed Malapert, Arnaud Univ Nice Sophia Antipolis CNRS I3S UMR 7271 F-06900 Sophia Antipolis France
We propose an adaptation of the Embarrassingly Parallel Search (EPS) method for data centers. EPS is a simple but efficient method for parallel solving of CSPs. EPS decomposes the problem in many distinct subproblems ... 详细信息
来源: 评论