咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是341-350 订阅
排序:
Compiling All Possible Conflicts of a CSP
Compiling All Possible Conflicts of a CSP
收藏 引用
15th international conference on principles and practice of constraint programming (CP 2009)
作者: Papadopoulos, Alexandre O'Sullivan, Barry Natl Univ Ireland Univ Coll Cork Cork Constraint Computat Ctr Dept Comp Sci Cork Ireland
In interactive decision-making settings, such as product configuration, users are stating preferences, or foreground constraints, over a set of possible solutions, as defined by background constraints. When the foregr... 详细信息
来源: 评论
A Geometric constraint over k-Dimensional Objects and Shapes Subject to Business Rules
收藏 引用
14th international conference on principles and practice of constraint programming (CP 2008)
作者: Carlsson, Mats Beldiceanu, Nicolas Martin, Julien SICS POB 1263 SE-16429 Kista Sweden LINA UMR CNRS 6241 Ecole Mines Nantes F-44307 Nantes France INRIA Rocquencourt Le Chesnay France
this paper presents a global constraint that enforces rules written in a language based on arithmetic and first-order logic to hold among a set of objects. In a first step, the rules are rewritten to Quantifier-Free P... 详细信息
来源: 评论
Solution directed backjumping for QCSP
Solution directed backjumping for QCSP
收藏 引用
13th international conference on principles and practice of constraint programming (CP 2007)
作者: Bacchus, Fahiem Stergiou, Kostas Univ Toronto Dept Comp Sci Toronto ON Canada Univ Aegean Dept Informat & Commun Syst Engn Mitilini Greece
In this paper we present new techniques for improving backtracking based Quantified constraint Satisfaction Problem (QCSP) solvers. QCSP is a generalization of CSP in which variables are either universally or existent... 详细信息
来源: 评论
Global constraints for partial CSPs: A case-study of resource and due date constraints  4th
收藏 引用
4th international conference on principles and practice of constraint programming (CP 98)
作者: Baptiste, P Le Pape, C Peridy, L UTC UMR 6599 CNRS HEUDIASYC F-60205 Compiegne France Univ Catholique Ouest Inst Math Angers France
this paper presents the results of a case study, concerning the propagation of a global disjunctive resource constraint, when the resource is over-loaded. the problem can be seen as a partial constraint satisfaction p... 详细信息
来源: 评论
An algebraic characterisation of complexity for valued constraints
An algebraic characterisation of complexity for valued const...
收藏 引用
12th international conference on principles and practice of constraint programming (CP 2006)
作者: Cohen, David A. Cooper, Martin C. Jeavons, Peter G. Univ London Royal Vet Coll Dept Comp Sci London England Univ Toulouse 3 IRIT F-31062 Toulouse France Univ Oxford Comp Lab Oxford OX1 3QD England
Classical constraint satisfaction is concerned with the feasibility of satisfying a collection of constraints. the extension of this framework to include optimisation is now also being investigated and a theory of so-... 详细信息
来源: 评论
Efficient Generic Search Heuristics within the EMBP Framework
Efficient Generic Search Heuristics within the EMBP Framewor...
收藏 引用
15th international conference on principles and practice of constraint programming (CP 2009)
作者: Le Bras, Ronan Zanarini, Alessandro Pesant, Gilles Ecole Polytech Montreal PQ H3C 3A7 Canada
Accurately estimating the distribution of solutions to a problem, should such solutions exist, provides efficient search heuristics. the purpose of this paper is to propose new ways of computing such estimates, with d... 详细信息
来源: 评论
Generating propagators for finite set constraints
Generating propagators for finite set constraints
收藏 引用
12th international conference on principles and practice of constraint programming (CP 2006)
作者: Tack, Guido Schulte, Christian Smolka, Gert Univ Saarland PS Lab Saarbrucken Germany Royal Inst Technol ECS ICT KTH Stockholm Sweden
Ideally, programming propagators as implementations of constraints should be an entirely declarative specification process for a large class of constraints: a high-level declarative specification is automatically tran... 详细信息
来源: 评论
principles and practice of constraint programming – CP 2004  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Mark Wallace
the 10th international conference on the principles and practice of constraint programming (CP 2003) was held in Toronto, Canada, during September 27 – October 1, 2004. Information about the conference can be found o... 详细信息
来源: 评论
Realtime Online Solving of Quantified CSPs
Realtime Online Solving of Quantified CSPs
收藏 引用
15th international conference on principles and practice of constraint programming (CP 2009)
作者: Stynes, David Brown, Kenneth N. Univ Coll Cork Dept Comp Sci Cork Constraint Computat Ctr Cork Ireland
We define Realtime Online solving of Quantified constraint Satisfaction Problems (QCSPs) as a, model for realtime online CSP solving. We use a combination of propagation, lookahead and heuristics and show how all thre... 详细信息
来源: 评论
Heavy-tailed runtime distributions: Heuristics, models and optimal refutations
Heavy-tailed runtime distributions: Heuristics, models and o...
收藏 引用
12th international conference on principles and practice of constraint programming (CP 2006)
作者: Hulubei, Tudor O'Sullivan, Barry Natl Univ Ireland Univ Coll Cork Dept Comp Sci Cork Constraint Computat Ctr Cork Ireland
来源: 评论