咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是51-60 订阅
排序:
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... 详细信息
来源: 评论
Clique Cuts in Weighted constraint Satisfaction  23rd
Clique Cuts in Weighted Constraint Satisfaction
收藏 引用
33rd international conference on Logic programming / 23rd international conference on principles and practice of constraint programming (cp) / 20th international conference on theory and Applications of Satisfiability Testing (SAT)
作者: de Givry, Simon Katsirelos, George INRA MIAT UR 875 F-31320 Castanet Tolosan France
In integer programming, cut generation is crucial for improving the tightness of the linear relaxation of the problem. this is relevant for weighted constraint satisfaction problems (WCSPs) in which we use approximate... 详细信息
来源: 评论
Slice Encoding for constraint-Based Planning
Slice Encoding for Constraint-Based Planning
收藏 引用
15th international conference on principles and practice of constraint programming (cp 2009)
作者: Pralet, Cedric Verfaillie, Gerard Off Natl Etud & Rech Aerosp F-31055 Toulouse 4 France
In most of the constraint-based approaches to planning, the problem is unfolded over a given number of steps. Because this Unfolded CSP encoding is very time mid memory consuming, we propose oil top of: the CNT framew... 详细信息
来源: 评论
AND/OR Multi-Valued Decision Diagrams for constraint optimization
AND/OR Multi-Valued Decision Diagrams for constraint optimiz...
收藏 引用
13th international conference on principles and practice of constraint programming (cp 2007)
作者: Mateescu, Robert Marinescu, Radu Dechter, Rina Univ Calif Irvine Donald Bren Sch Informat & Comp Sci Irvine CA 92697 USA
We propose a new top down search-based algorithm for compiling AND/OR Multi-Valued Decision Diagrams (AOMDDs), as representations of the optimal set of solutions for constraint optimization problems. the approach is b... 详细信息
来源: 评论
Building negative reduced cost paths using constraint programming  7
收藏 引用
7th international conference on principles and practice of constraint programming, cp 2001
作者: Rousseau, Louis-Martin Pesant, Gilles Gendreau, Michel Centre for Research on Transportation Universite de Montreal C.P. 6128 succursale Centre-ville MontrealH3C 3J7 Canada
Column Generation is a powerful method used to solve Constrained Set Partitioning problems. this method can be decomposed in two parts:the master problem and the sub-problem. the Master Problem that should be solved i...
来源: 评论
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... 详细信息
来源: 评论
Structural constraint-based modeling and reasoning with basic configuration cells  7
收藏 引用
7th international conference on principles and practice of constraint programming, cp 2001
作者: Gasca, Rafael M. Ortega, Juan A. Toro, Miguel Department of Languages and Computer Systems University of Sevilla Avda. Reina Mercedes s/n Sevilla41012 Spain
Configuration tasks are an important application area in engineering design. the proposed solving techniques use either a constraint based framework or a logic-based approach. We propose a methodology to obtains desir... 详细信息
来源: 评论
Symmetry breaking  1
收藏 引用
7th international conference on principles and practice of constraint programming, cp 2001
作者: Fahle, Torsten Schamberger, Stefan Sellmann, Meinolf University of Paderborn Department of Mathematics and Computer Science Fürstenallee 11 PaderbornD-33102 Germany
Symmetries in constraint satisfaction or combinatorial optimization problems can cause considerable difficulties for exact solvers. One way to overcome the problem is to employ sophisticated models with no or at least... 详细信息
来源: 评论
Solving an air conditioning system problem in an embodiment design context using constraint satisfaction techniques
Solving an air conditioning system problem in an embodiment ...
收藏 引用
13th international conference on principles and practice of constraint programming (cp 2007)
作者: Chenouard, Raphael Sebastian, Patrick Granvilliers, Laurent CNRS Transferts Ecoulements FLuides Energet ENSAM Bordeaux F-33405 Talence France Univ Nantes Lab Dinformatique Nantes Atlantique CNRS F-44322 Nantes 3 France
In this paper, the embodiment design of an air conditioning system (ACS) in an aircraft is investigated using interval constraint satisfaction techniques. the detailed ACS model is quite complex to solve, since it con... 详细信息
来源: 评论
Fast, constraint-based threading of HP-sequences to hydrophobic cores  7
收藏 引用
7th international conference on principles and practice of constraint programming, cp 2001
作者: Backofen, Rolf Will, Sebastian Institut für Informatik LMU München Oettingenstraße 67 MünchenD-80538 Germany
Lattice protein models are used for hierarchical approaches to protein structure prediction, as well as for investigating principles of protein folding. So far, one has the problem that there exists no lattice that ca... 详细信息
来源: 评论