咨询与建议

限定检索结果

文献类型

  • 1,005 篇 会议
  • 51 篇 期刊文献
  • 20 册 图书

馆藏范围

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

日期分布

学科分类号

  • 900 篇 工学
    • 876 篇 计算机科学与技术...
    • 526 篇 软件工程
    • 45 篇 信息与通信工程
    • 29 篇 电气工程
    • 22 篇 控制科学与工程
    • 10 篇 机械工程
    • 6 篇 建筑学
    • 6 篇 土木工程
    • 5 篇 力学(可授工学、理...
    • 5 篇 材料科学与工程(可...
    • 5 篇 化学工程与技术
    • 5 篇 交通运输工程
    • 5 篇 农业工程
    • 5 篇 生物工程
    • 4 篇 动力工程及工程热...
    • 3 篇 航空宇航科学与技...
    • 3 篇 环境科学与工程(可...
  • 551 篇 理学
    • 436 篇 数学
    • 283 篇 系统科学
    • 19 篇 统计学(可授理学、...
    • 11 篇 物理学
    • 8 篇 生物学
    • 5 篇 化学
  • 84 篇 管理学
    • 69 篇 管理科学与工程(可...
    • 44 篇 工商管理
    • 18 篇 图书情报与档案管...
  • 9 篇 法学
    • 9 篇 社会学
  • 7 篇 经济学
    • 7 篇 应用经济学
  • 5 篇 农学
    • 5 篇 作物学
  • 2 篇 教育学
    • 2 篇 教育学
  • 1 篇 军事学

主题

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

机构

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

作者

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

语言

  • 1,070 篇 英文
  • 3 篇 其他
  • 3 篇 中文
检索条件"任意字段=9th International Conference on Principles and Practice of Constraint Programming"
1076 条 记 录,以下是421-430 订阅
排序:
constraint Based Scheduling to Deal with Uncertain Durations and Self-Timed Execution
Constraint Based Scheduling to Deal with Uncertain Durations...
收藏 引用
16th Annual international conference on the principles and practice of constraint programming
作者: Lombardi, Michele Milano, Michela Univ Bologna DEIS I-40136 Bologna Italy
In this paper we propose off-line and on-line extensions to the Resource Constrained Project Scheduling Problem. the off-line extension is a variant of RCPSP with time lags and uncertain, bounded activity durations. I... 详细信息
来源: 评论
A Generic Visualization Platform for CP
A Generic Visualization Platform for CP
收藏 引用
16th Annual international conference on the principles and practice of constraint programming
作者: Simonis, Helmut Davern, Paul Feldman, Jacob Mehta, Deepak Quesada, Luis Carlsson, Mats Univ Coll Cork Cork Constraint Computat Ctr Dept Comp Sci Cork Ireland Swedish Inst Comp Sci SICS AB Uppsala Sweden
In this paper we describe the design and implementation of CP-VIZ, a generic visualization platform for constraint programming. It provides multiple views to show the search tree, and the state of constraints and vari... 详细信息
来源: 评论
Context-Sensitive Call Control Using constraints and Rules
Context-Sensitive Call Control Using Constraints and Rules
收藏 引用
16th Annual international conference on the principles and practice of constraint programming
作者: Lesaint, David Mehta, Deepak O'Sullivan, Barry Quesada, Luis Wilson, Nic BT Research and Technology BT United Kingdom Cork Constraint Computation Centre University College Cork Ireland
Personalisation and context-awareness are fundamental concerns in Telephony. this paper introduces a rule-based system - 4CRULES - which enables context-sensitive call control by the means of feature configuration rul... 详细信息
来源: 评论
SAT Modulo theories: Getting the Best of SAT and Global constraint Filtering
SAT Modulo Theories: Getting the Best of SAT and Global Cons...
收藏 引用
16th Annual international conference on the principles and practice of constraint programming
作者: Nieuwenhuis, Robert Tech Univ Catalonia UPC Barcelona Spain
the propositional satisfiability problem (SAT) is one of the simplest instances of constraint programming (CP): variables are bi-valued (can only take values 0 or 1), and all constraints are clauses (disjunctions of l... 详细信息
来源: 评论
Towards Parallel Non Serial Dynamic programming for Solving Hard Weighted CSP
Towards Parallel Non Serial Dynamic Programming for Solving ...
收藏 引用
16th Annual international conference on the principles and practice of constraint programming
作者: Allouche, David de Givry, Simon Schiex, thomas INRA Unite Biometrie & Intelligence Artificielle UR 875 F-31320 Castanet Tolosan France
We introduce a parallelized version of tree-decomposition based dynamic programming for solving difficult weighted CSP instances on many cores. A tree decomposition organizes cost functions in a tree of collection of ... 详细信息
来源: 评论
Ensemble Classification for constraint Solver Configuration
Ensemble Classification for Constraint Solver Configuration
收藏 引用
16th Annual international conference on the principles and practice of constraint programming
作者: Kotthoff, Lars Miguel, Ian Nightingale, Peter Univ St Andrews St Andrews KY16 9AJ Fife Scotland
the automatic tuning of the parameters of algorithms and automatic selection of algorithms has received a lot of attention recently. One possible approach is the use of machine learning techniques to learn classifiers... 详细信息
来源: 评论
CPBPV: a constraint-programming framework for bounded program verification
收藏 引用
constraintS 2010年 第2期15卷 238-264页
作者: Collavizza, Helene Rueher, Michel Van Hentenryck, Pascal Univ Nice Sophia Antipolis CNRS I3S F-06903 Sophia Antipolis France Brown Univ Providence RI 02912 USA
this paper studies how to verify the conformity of a program with its specification and proposes a novel constraint-programming framework for bounded program verification (CPBPV). the CPBPV framework uses constraint s... 详细信息
来源: 评论
Local Consistency and SAT-Solvers
Local Consistency and SAT-Solvers
收藏 引用
16th Annual international conference on the principles and practice of constraint programming
作者: Petke, Justyna Jeavons, Peter Univ Oxford Comp Lab Oxford OX1 3QD England
In this paper we show that the power of using k-consistency techniques in a constraint problem is precisely captured by using a particular inference rule, which we call positive-hyper-resolution, on the direct Boolean... 详细信息
来源: 评论
Domain Consistency with Forbidden Values
Domain Consistency with Forbidden Values
收藏 引用
16th Annual international conference on the principles and practice of constraint programming
作者: Deville, Yves Van Hentenryck, Pascal Catholic Univ Louvain Louvain Belgium Brown Univ Providence RI 02912 USA
this paper presents a novel domain-consistency algorithm which does not maintain supports dynamically during propagation, but rather maintain forbidden values. It introduces the optimal NAC4 (negative AC4) algorithm b... 详细信息
来源: 评论
On the Containment of Forbidden Patterns Problems
On the Containment of Forbidden Patterns Problems
收藏 引用
16th Annual international conference on the principles and practice of constraint programming
作者: Madelaine, Florent IUT Informat LIMOS CNRS UMR 6158 F-63172 Aubiere France
Forbidden patterns problems are a generalisation of (finite) constraint satisfaction problems which are definable in Feder and Vardi9;s logic MMSNP [1]. in fact, they are examples of infinite constraint satisfactio... 详细信息
来源: 评论