咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是131-140 订阅
排序:
Scheduling scientific experiments on the rosetta/philae mission
Scheduling scientific experiments on the rosetta/philae miss...
收藏 引用
18th international conference on principles and practice of constraint programming, cp 2012
作者: Simonin, Gilles Artigues, Christian Hebrard, Emmanuel Lopez, Pierre CNRS LAAS 7 avenue du colonel Roche Toulouse F-31400 France Univ de Toulouse LAAS Toulouse F-31400 France
the Rosetta/Philae mission was launched in 2004 by the European Space Agency (ESA). It is scheduled to reach the comet 67P/Churyumov-Gerasimenko in 2014 after traveling more than six billion kilometers. the Philae mod... 详细信息
来源: 评论
Interactive algorithm for multi-objective constraint optimization
Interactive algorithm for multi-objective constraint optimiz...
收藏 引用
18th international conference on principles and practice of constraint programming, cp 2012
作者: Okimoto, Tenda Joe, Yongjoon Iwasaki, Atsushi Matsui, Toshihiro Hirayama, Katsutoshi Yokoo, Makoto Kyushu University Fukuoka 8190395 Japan Nagoya Insutitute of Technology Nagoya 4668555 Japan Kobe University Kobe 6580022 Japan
Many real world problems involve multiple criteria that should be considered separately and optimized simultaneously. A Multi-Objective constraint Optimization Problem (MO-COP) is the extension of a mono-objective Con... 详细信息
来源: 评论
Propagating soft table constraints
Propagating soft table constraints
收藏 引用
18th international conference on principles and practice of constraint programming, cp 2012
作者: Lecoutre, Christophe Paris, Nicolas Roussel, Olivier Tabary, Sébastien CRIL - CNRS UMR 8188 Univ. Lille Nord de France Artois F-62307 Lens France
WCSP is a framework that has attracted a lot of attention during the last decade. In particular, many filtering approaches have been developed on the concept of equivalence-preserving transformations (cost transfer op... 详细信息
来源: 评论
Properties of energy-price forecasts for scheduling
Properties of energy-price forecasts for scheduling
收藏 引用
18th international conference on principles and practice of constraint programming, cp 2012
作者: Ifrim, Georgiana O'Sullivan, Barry Simonis, Helmut Cork Constraint Computation Centre Department of Computer Science University College Cork Ireland
Wholesale electricity markets are becoming ubiquitous, offering consumers access to competitively-priced energy. the cost of energy is often correlated with its environmental impact;for example, environmentally sustai... 详细信息
来源: 评论
Increasing symmetry breaking by preserving target symmetries
Increasing symmetry breaking by preserving target symmetries
收藏 引用
18th international conference on principles and practice of constraint programming, cp 2012
作者: Lee, Jimmy H. M. Li, Jingying Department of Computer Science and Engineering Chinese University of Hong Kong Shatin N.T. Hong Kong
Breaking the exponential number of all symmetries of a constraint satisfaction problem is often too costly. In practice, we often aim at breaking a subset of the symmetries efficiently, which we call target symmetries... 详细信息
来源: 评论
Weibull-based benchmarks for bin packing
Weibull-based benchmarks for bin packing
收藏 引用
18th international conference on principles and practice of constraint programming, cp 2012
作者: Castiñeiras, Ignacio De Cauwer, Milan O'Sullivan, Barry Dpto. de Sistemas Informáticos Y Computación Universidad Complutense de Madrid Spain Département Informatique Université de Nantes France Cork Constraint Computation Centre University College Cork Ireland
Bin packing is a ubiquitous problem that arises in many practical applications. the motivation for the work presented here comes from the domain of data centre optimisation. In this paper we present a parameterisable ... 详细信息
来源: 评论
Octagonal domains for continuous constraints
Octagonal domains for continuous constraints
收藏 引用
17th international conference on principles and practice of constraint programming, cp 2011
作者: Pelleau, Marie Truchet, Charlotte Benhamou, Frédéric LINA UMR CNRS 6241 Université de Nantes France
Domains in Continuous constraint programming (cp) are generally represented with intervals whose n-ary Cartesian product (box) approximates the solution space. this paper proposes a new representation for continuous v... 详细信息
来源: 评论
Operations research and constraint programming at google  17th
Operations research and constraint programming at google
收藏 引用
17th international conference on principles and practice of constraint programming, cp 2011
作者: Perron, Laurent Google SA 38 avenue de l’opéra Paris75002 France
the Operations Research and Optimization team at Google develops both general purpose optimization tools and solutions for internal optimization problems. We will describe the tools – most of which are available at h... 详细信息
来源: 评论
A Θ(n) bound-consistency algorithm for the increasing sum constraint
A Θ(n) bound-consistency algorithm for the increasing sum c...
收藏 引用
17th international conference on principles and practice of constraint programming, cp 2011
作者: Petit, thierry Régin, Jean-Charles Beldiceanu, Nicolas Mines de Nantes France I3S UMR 6070 CNRS Université de Nice-Sophia Antipolis France
Given a sequence of variables X = 〈x 0, x 1, …, xn − 1 〉, we consider the IncreasingSum constraint, which imposes ∀ i ∈ [0, n − 2] xi ≤ xi + 1, and Σxi∈X xi = S. We propose an Θ(n) bound-consistency algorit... 详细信息
来源: 评论
Revisiting the tree constraint
Revisiting the tree constraint
收藏 引用
17th international conference on principles and practice of constraint programming, cp 2011
作者: Fages, Jean-Guillaume Lorca, Xavier École des Mines de Nantes INRIA LINA UMR CNRS 6241 Nantes Cedex 3FR-44307 France
this paper revisits the tree constraint introduced in [2] which partitions the nodes of a n-nodes, m-arcs directed graph into a set of node-disjoint anti-arborescences for which only certain nodes can be tree roo... 详细信息
来源: 评论