咨询与建议

限定检索结果

文献类型

  • 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,073 篇 英文
  • 3 篇 中文
检索条件"任意字段=9th International Conference on Principles and Practice of Constraint Programming"
1076 条 记 录,以下是261-270 订阅
排序:
Asynchronous Inter-Level Forward-Checking for DisCSPs
Asynchronous Inter-Level Forward-Checking for DisCSPs
收藏 引用
15th international conference on principles and practice of constraint programming (CP 2009)
作者: Ezzahir, Redouane Bessiere, Christian Wahbi, Mohamed Benelallam, Imade Bouyakhf, El Houssine U Montpellier 2 LIRMM CNRS Montpellier France Univ Mohammed V Agdal LIMIARF FSRU Rabat Morocco
We propose two new asynchronous algorithms for solving Distributed constraint Satisfaction Problems (DisCSPs). the first algorithm, AFC-ng, is a nogood-based version of Asynchronous Forward Checking (AFC). the second ... 详细信息
来源: 评论
Defining and Evaluating Heuristics for the Compilation of constraint Networks  23rd
Defining and Evaluating Heuristics for the Compilation of Co...
收藏 引用
33rd international conference on Logic programming / 23rd international conference on principles and practice of constraint programming (CP) / 20th international conference on theory and Applications of Satisfiability Testing (SAT)
作者: Lagniez, Jean-Marie Marquis, Pierre Paparrizou, Anastasia Univ Artois CRIL Lens France CNRS Lens France
Several branching heuristics for compiling in a top-down fashion finite-domain constraint networks into multi-valued decision diagrams (MDD) or decomposable multi-valued decision graphs (MDDG) are empirically evaluate... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Solving an air conditioning system problem in an embodiment design context using constraint satisfaction techniques
Solving an air conditioning system problem in an embodiment ...
收藏 引用
13th international conference on principles and practice of constraint programming (CP 2007)
作者: Chenouard, Raphael Sebastian, Patrick Granvilliers, Laurent CNRS Transferts Ecoulements FLuides Energet ENSAM Bordeaux F-33405 Talence France Univ Nantes Lab Dinformatique Nantes Atlantique CNRS F-44322 Nantes 3 France
In this paper, the embodiment design of an air conditioning system (ACS) in an aircraft is investigated using interval constraint satisfaction techniques. the detailed ACS model is quite complex to solve, since it con... 详细信息
来源: 评论
Modelling Equidistant Frequency Permutation Arrays: An Application of constraints to Mathematics
Modelling Equidistant Frequency Permutation Arrays: An Appli...
收藏 引用
15th international conference on principles and practice of constraint programming (CP 2009)
作者: Huczynska, Sophie McKay, Paul Miguel, Ian Nightingale, Peter Univ St Andrews Sch Math & Stat St Andrews KY16 9AJ Fife Scotland Univ St Andrews Sch Comp Sci St Andrews KY16 9AJ Fife Scotland
Equidistant Frequency Permutation Arrays are combinatorial objects of interest in coding theory. A frequency permutation array is a type of constant composition code in which each symbol Occurs the same number of time... 详细信息
来源: 评论
Dealing with incomplete preferences in soft constraint problems
Dealing with incomplete preferences in soft constraint probl...
收藏 引用
13th international conference on principles and practice of constraint programming (CP 2007)
作者: Gelain, Mirco Pini, Maria Silvia Rossi, Francesca Venable, K. Brent Univ Padua Dipartimento Matemat Pura & Applicata I-35100 Padua Italy
We consider soft constraint problems where some of the preferences may be unspecified. this models, for example, situations with several agents providing the data, or with possible privacy issues. In this context, we ... 详细信息
来源: 评论
Evolving variable-ordering heuristics for constrained optimisation
收藏 引用
11th international conference on principles and practice of constraint programming (CP 2005)
作者: Bain, S thornton, J Sattar, A Institute for Integrated and Intelligent Systems Griffith University GCMC 9726 PMB 50 Australia
In this paper we present and evaluate an evolutionary approach for learning new constraint satisfaction algorithms, specifically for MAX-SAT optimisation problems. Our approach offers two significant advantages over e... 详细信息
来源: 评论
Encodings of the SEQUENCE constraint
Encodings of the SEQUENCE constraint
收藏 引用
13th international conference on principles and practice of constraint programming (CP 2007)
作者: Brand, Sebastian Narodytska, Nina Quimper, Claude-Guy Stuckey, Peter Walsh, Toby NICTA University of Melbourne NICTA University of NSW Omega Optimisation
the SEQUENCE constraint is useful in modelling car sequencing, rostering, scheduling and related problems. We introduce half a dozen new encodings of the SEQUENCE constraint, some of which do not hinder propagation. W... 详细信息
来源: 评论
constraint based resilience analysis
Constraint based resilience analysis
收藏 引用
12th international conference on principles and practice of constraint programming (CP 2006)
作者: Simonis, Helmut CrossCore Optimizat Ltd London England
tIn this paper we give an overview of applications of constraint programming for IP (Internet Protocol) data networks, and discuss the problem of Resilience Analysis in more detail. In this problem we try to predict t... 详细信息
来源: 评论
Computing All Optimal Solutions in Satisfiability Problems with Preferences
收藏 引用
14th international conference on principles and practice of constraint programming (CP 2008)
作者: Di Rosa, Emanuele Giunchiglia, Enrico Maratea, Marco Univ Genoa DIST I-16145 Genoa Italy
the problem of finding an optimal solution in a constraint satisfaction problem with preferences has attracted a lot of researchers in Artificial Intelligence in general, and in the constraint programming community in... 详细信息
来源: 评论