咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是401-410 订阅
排序:
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... 详细信息
来源: 评论
Making Adaptive an Interval constraint Propagation Algorithm Exploiting Monotonicity
Making Adaptive an Interval Constraint Propagation Algorithm...
收藏 引用
16th Annual international conference on the principles and practice of constraint programming
作者: Araya, Ignacio Trombettoni, Gilles Neveu, Bertrand Imagine LIGM Univ Univ Nice Sophia INRIA UTFSM Chile Paris France
A new interval constraint propagation algorithm;called MOnotonic Hall Consistency (Mohc), has recently been proposed. Mohc exploits monotonicity of functions to better filter variable domains. Embedded in an interval-... 详细信息
来源: 评论
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... 详细信息
来源: 评论
A dynamic programming based algorithm for post-scheduling frequency assignment in energy-efficient high-level synthesis
A dynamic programming based algorithm for post-scheduling fr...
收藏 引用
2010 10th IEEE international conference on Solid-State and Integrated Circuit Technology
作者: Chen, Song Yao, Yuan Yoshimura, Takeshi Graduate School of Information Production and Systems Waseda University Hibikino 2-7 Wakamatsu-ku Kitakyushu 808-0135 Japan
Scaling frequency and voltage in a coordinated manner is a promising way to reduce energy and power. we explore the use of dynamic frequency clocking within the datapath and datapath scheduling algorithms that can be ... 详细信息
来源: 评论
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 ... 详细信息
来源: 评论
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... 详细信息
来源: 评论