咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

机构

  • 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,009 篇 英文
  • 3 篇 中文
检索条件"任意字段=10th International Conference on the Principles and Practice of Constraint Programming"
1012 条 记 录,以下是341-350 订阅
排序:
Focus : A constraint for concentrating high costs
Focus : A constraint for concentrating high costs
收藏 引用
18th international conference on principles and practice of constraint programming, CP 2012
作者: Petit, thierry 4 Rue Alfred Kastler Nantes Cedex 3 FR-44307 France
Many constraint programming models use integer cost variables aggregated in an objective criterion. In this context, some constraints involving exclusively cost variables are often imposed. Such constraints are comple... 详细信息
来源: 评论
the SeqBin constraint revisited
The SeqBin constraint revisited
收藏 引用
18th international conference on principles and practice of constraint programming, CP 2012
作者: Katsirelos, George Narodytska, Nina Walsh, Toby UBIA INRA Toulouse France NICTA UNSW Sydney Australia
We revisit the SeqBin constraint [1]. this meta-constraint subsumes a number of important global constraints like Change [2], Smooth [3] and IncreasingNValue [4]. We show that the previously proposed filtering algorit... 详细信息
来源: 评论
A scalable sweep algorithm for the cumulative constraint
A scalable sweep algorithm for the cumulative constraint
收藏 引用
18th international conference on principles and practice of constraint programming, CP 2012
作者: Letort, Arnaud Beldiceanu, Nicolas Carlsson, Mats Mines de Nantes France SICS P.O. Box 1263 SE-164 29 Kista Sweden
this paper presents a sweep based algorithm for the cumulative constraint, which can operate in filtering mode as well as in greedy assignment mode. Given n tasks, this algorithm has a worst-case time complexity of O(... 详细信息
来源: 评论
the offshore resources scheduling problem: Detailing a constraint programming approach
The offshore resources scheduling problem: Detailing a const...
收藏 引用
18th international conference on principles and practice of constraint programming, CP 2012
作者: Serra, thiago Nishioka, Gilberto Marcellino, Fernando J. M. PETROBRAS - Petróleo Brasileiro S.A. Avenida Paulista 901 São Paulo SP 01311-100 Brazil
the development of maritime oil wells depends on the availability of specialized fleet capable of performing the required activities. In addition, the exploitation of each well can only start when it is connected thro... 详细信息
来源: 评论
Feature term subsumption using constraint programming with basic variable symmetry
Feature term subsumption using constraint programming with b...
收藏 引用
18th international conference on principles and practice of constraint programming, CP 2012
作者: Ontañón, Santiago Meseguer, Pedro Computer Science Department Drexel University Philadelphia PA 19104 United States IIIA-CSIC Universitat Autònoma de Barcelona Bellaterra 08193 Spain
Feature Terms are a generalization of first-order terms which have been recently received increased attention for their usefulness in structured machine learning applications. One of the main obstacles for their wide ... 详细信息
来源: 评论
constraint-based register allocation and instruction scheduling
Constraint-based register allocation and instruction schedul...
收藏 引用
18th international conference on principles and practice of constraint programming, CP 2012
作者: Lozano, Roberto Castañeda Carlsson, Mats Drejhammar, Frej Schulte, Christian Sweden School of ICT KTH Royal Institute of Technology Sweden
this paper introduces a constraint model and solving techniques for code generation in a compiler back-end. It contributes a new model for global register allocation that combines several advanced aspects: multiple re... 详细信息
来源: 评论
constraint satisfaction over bit-vectors
Constraint satisfaction over bit-vectors
收藏 引用
18th international conference on principles and practice of constraint programming, CP 2012
作者: Michel, Laurent D. Van Hentenryck, Pascal University of Connecticut Storrs CT 06269-2155 United States Optimization Research Group NICTA University of Melbourne Australia
Reasoning over bit-vectors arises in a variety of applications in verification and cryptography. this paper presents a bit-vector domain for constraint programming and its associated filtering algorithms. the domain s... 详细信息
来源: 评论
Solving minimal constraint networks in qualitative spatial and temporal reasoning
Solving minimal constraint networks in qualitative spatial a...
收藏 引用
18th international conference on principles and practice of constraint programming, CP 2012
作者: Liu, Weiming Li, Sanjiang Centre for Quantum Computation and Intelligent Systems Faculty of Engineering and Information Technology University of Technology Sydney Australia
the minimal label problem (MLP) (also known as the deductive closure problem) is a fundamental problem in qualitative spatial and temporal reasoning (QSTR). Given a qualitative constraint network Γ, the minimal netwo... 详细信息
来源: 评论
A generic method for identifying and exploiting dominance relations
A generic method for identifying and exploiting dominance re...
收藏 引用
18th international conference on principles and practice of constraint programming, CP 2012
作者: Chu, Geoffrey Stuckey, Peter J. National ICT Australia Department of Computer Science and Software Engineering University of Melbourne Australia
Many constraint problems exhibit dominance relations which can be exploited for dramatic reductions in search space. Dominance relations are a generalization of symmetry and conditional symmetry. However, unlike symme... 详细信息
来源: 评论
constraint programming for path planning with uncertainty: Solving the optimal search path problem
Constraint programming for path planning with uncertainty: S...
收藏 引用
18th international conference on principles and practice of constraint programming, CP 2012
作者: Morin, Michael Papillon, Anika-Pascale Abi-Zeid, Irène Laviolette, François Quimper, Claude-Guy Department of Computer Science and Software Engineering Université Laval Québec QC Canada Department of Mathematics and Statistics Université Laval Québec QC Canada Department of Operations and Decision Systems Université Laval Québec QC Canada
the optimal search path (OSP) problem is a single-sided detection search problem where the location and the detectability of a moving object are uncertain. A solution to this -hard problem is a path on a graph that ma... 详细信息
来源: 评论