咨询与建议

限定检索结果

文献类型

  • 956 篇 会议
  • 51 篇 期刊文献
  • 19 册 图书

馆藏范围

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

日期分布

学科分类号

  • 853 篇 工学
    • 833 篇 计算机科学与技术...
    • 495 篇 软件工程
    • 41 篇 信息与通信工程
    • 27 篇 电气工程
    • 17 篇 控制科学与工程
    • 8 篇 机械工程
    • 7 篇 土木工程
    • 6 篇 建筑学
    • 6 篇 化学工程与技术
    • 5 篇 材料科学与工程(可...
    • 5 篇 农业工程
    • 4 篇 力学(可授工学、理...
    • 4 篇 交通运输工程
    • 4 篇 生物工程
    • 3 篇 冶金工程
    • 3 篇 动力工程及工程热...
    • 2 篇 电子科学与技术(可...
    • 2 篇 航空宇航科学与技...
  • 530 篇 理学
    • 422 篇 数学
    • 274 篇 系统科学
    • 18 篇 统计学(可授理学、...
    • 10 篇 物理学
    • 7 篇 生物学
    • 6 篇 化学
  • 62 篇 管理学
    • 54 篇 管理科学与工程(可...
    • 34 篇 工商管理
    • 10 篇 图书情报与档案管...
  • 7 篇 法学
    • 7 篇 社会学
  • 5 篇 经济学
    • 5 篇 应用经济学
  • 5 篇 农学
    • 5 篇 作物学
  • 1 篇 教育学
  • 1 篇 医学
  • 1 篇 军事学

主题

  • 198 篇 constraint theor...
  • 163 篇 constraint satis...
  • 62 篇 constraint progr...
  • 26 篇 constrained opti...
  • 25 篇 computer program...
  • 23 篇 integer programm...
  • 21 篇 answer set progr...
  • 15 篇 logic programmin...
  • 15 篇 artificial intel...
  • 15 篇 scheduling
  • 14 篇 mathematical log...
  • 14 篇 dynamic programm...
  • 13 篇 problem solving
  • 12 篇 linear programmi...
  • 11 篇 global constrain...
  • 11 篇 programming lang...
  • 11 篇 logics and meani...
  • 10 篇 modeling languag...
  • 9 篇 constraint satis...
  • 9 篇 combinatorial op...

机构

  • 18 篇 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 篇 natl univ singap...
  • 6 篇 cork constraint ...
  • 6 篇 chinese univ hon...
  • 5 篇 161 rue ada mont...
  • 5 篇 cornell univ dep...
  • 5 篇 univ coll cork d...
  • 5 篇 univ st andrews ...
  • 5 篇 ben gurion univ ...
  • 5 篇 department of co...
  • 5 篇 univ coll cork c...

作者

  • 31 篇 stuckey peter j.
  • 28 篇 o'sullivan barry
  • 22 篇 van hentenryck p...
  • 20 篇 freuder eugene c...
  • 17 篇 walsh toby
  • 17 篇 quimper claude-g...
  • 15 篇 miguel ian
  • 15 篇 michel laurent
  • 15 篇 bessiere christi...
  • 14 篇 beldiceanu nicol...
  • 14 篇 schaus pierre
  • 14 篇 schulte christia...
  • 12 篇 smith barbara m.
  • 12 篇 hebrard emmanuel
  • 12 篇 pesant gilles
  • 11 篇 régin jean-charl...
  • 11 篇 beck j. christop...
  • 10 篇 hnich brahim
  • 10 篇 gent ian p.
  • 10 篇 rueher michel

语言

  • 1,023 篇 英文
  • 3 篇 中文
检索条件"任意字段=10th International Conference on the Principles and Practice of Constraint Programming"
1026 条 记 录,以下是161-170 订阅
排序:
constraint-Based Local Search for the Automatic Generation of Architectural Tests
Constraint-Based Local Search for the Automatic Generation o...
收藏 引用
15th international conference on principles and practice of constraint programming (CP 2009)
作者: Van Hentenryck, Pascal Coffrin, Carleton Gutkovich, Boris Brown Univ Providence RI 02912 USA Intel Corp Haifa Israel
this paper considers the automatic generation of architectural tests (ATGP), a fundamental problem in processor validation. ATGPs are complex conditional constraint satisfaction problems which typically feature both h... 详细信息
来源: 评论
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 ... 详细信息
来源: 评论
Watched literals for constraint propagation in MINION
Watched literals for constraint propagation in MINION
收藏 引用
12th international conference on principles and practice of constraint programming (CP 2006)
作者: Gent, Ian P. Jefferson, Chris Miguel, Ian Univ St Andrews Sch Comp Sci St Andrews Fife Scotland Univ Oxford Comp Lab Oxford OX1 3QD England
Efficient constraint propagation is crucial to any constraint solver. We show that watched literals, already a great success in the satisfiability community, can be used to provide highly efficient implementations of ... 详细信息
来源: 评论
Revisiting the Cardinality Reasoning for BinPacking constraint
Revisiting the Cardinality Reasoning for BinPacking Constrai...
收藏 引用
19th Annual international conference on principles and practice of constraint programming (CP)
作者: Pelsser, Francois Schaus, Pierre Regin, Jean-Charles UCLouvain ICTEAM Pl Sainte Barbe 2 B-1348 Louvain Belgium Univ Nice Sophia Antipolis I3S CNRS UMR 6070 Nice France
In a previous work, we introduced a filtering for the Bin-Packing constraint based on a cardinality reasoning for each bin combined with a global cardinality constraint. We improve this filtering with an algorithm pro... 详细信息
来源: 评论
A constraint-Based Approach to the Differential Harvest Problem  21st
A Constraint-Based Approach to the Differential Harvest Prob...
收藏 引用
31st international conference on Logic programming (ICLP) Co-located with the 21st international conference on principles and practice of constraint programming (CP)
作者: Briot, Nicolas Bessiere, Christian Vismara, Philippe Univ Montpellier CNRS LIRMM F-34059 Montpellier France INRA Montpellier SupAgro MISTEA F-34060 Montpellier France
In this paper, we study the problem of differential harvest in precision viticulture. Some recent prototypes of grape harvesting machines are supplied with two hoppers and are able to sort two types of grape quality. ... 详细信息
来源: 评论
High-level nondeterministic abstractions in C++
High-level nondeterministic abstractions in C++
收藏 引用
12th international conference on principles and practice of constraint programming (CP 2006)
作者: Michel, Laurent See, Andrew Van Hentenryck, Pascal Univ Connecticut Storrs CT 06269 USA Brown Univ Providence RI 02912 USA
this paper presents high-level abstractions for nondeterministic search in C++ which provide the counterpart to advanced features found in recent constraint languages. the abstractions have several benefits: they expl... 详细信息
来源: 评论
Quantified constraint Optimization
收藏 引用
14th international conference on principles and practice of constraint programming (CP 2008)
作者: Benedetti, Marco Lallouet, Arnaud Vautard, Jeremie Univ Orleans LIFO F-45067 Orleans 2 France
Solutions to valid Quantified constraint Satisfaction Problems (QCSPs) are called winning strategies and represent possible ways in which the existential player can react to the moves of the universal one to "win... 详细信息
来源: 评论
Non-binary constraints  5th
收藏 引用
5th international conference on principles and practice of constraint programming (CP 99)
作者: Bessière, C CNRS LIRMM F-34392 Montpellier France
Since the origins of the constraint satisfaction paradigm, its restriction to binary constraints has concentrated a significant part of the work. this is understandable because new ideas/techniques are usually much si... 详细信息
来源: 评论
Solution counting algorithms for constraint-centered search heuristics
收藏 引用
constraintS 2009年 第3期14卷 392-413页
作者: Zanarini, Alessandro Pesant, Gilles Ecole Polytech Dept Comp & Software Engn Montreal PQ H3C 3A7 Canada
constraints have played a central role in cp because they capture key substructures of a problem and efficiently exploit them to boost inference. this paper intends to do the same thing for search, proposing constrain... 详细信息
来源: 评论
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... 详细信息
来源: 评论