咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是911-920 订阅
排序:
Using confluence to generate rule-based constraint solvers  01
Using confluence to generate rule-based constraint solvers
收藏 引用
Proceedings of the 3rd international ACM SIGPLAN conference on principles and practice of Declarative programming (PPDP'00)
作者: Abdennadher, Slim Rigotti, Christophe Computer Science Department Oettingenstr. 67 80538 München Germany Lab. d'Ingenierie des Syst. d'Info. INSA Lyon 69621 Villeurbanne Cedex France
A general approach to implement propagation and simplification of constraints consists of applying rules over these constraints. Recently, several proposals have been made to solve finite constraint satisfaction probl... 详细信息
来源: 评论
Network flow problems in constraint programming  1
收藏 引用
7th international conference on principles and practice of constraint programming, CP 2001
作者: Bockmayr, Alexander Pisaruk, Nicolai Aggoun, Abderrahmane Université Henri Poincaré LORIA B.P. 239 Vandoeuvre-lés-NancyF-54506 France COSYTEC S.A Parc Club Orsay Université 4 rue Jean Rostand OrsayF-91893 France
We introduce a new global constraint for modeling and solving network flow problems in constraint programming. We describe the declarative and operational semantics of the flow constraint and illustrate its use throug... 详细信息
来源: 评论
A temporal concurrent constraint programming calculus  7
收藏 引用
7th international conference on principles and practice of constraint programming, CP 2001
作者: Palamidessi, Catuscia Valencia, Frank D Penn State University United States BRICS University of Aarhus Denmark
the tcc model is a formalism for reactive concurrent constraint programming. In this paper we propose a model of temporal concurrent constraint programming which adds to tcc the capability of modeling asynchronous and... 详细信息
来源: 评论
Selecting and scheduling observations for agile satellites: Some lessons from the constraint reasoning community point of view  7
收藏 引用
7th international conference on principles and practice of constraint programming, CP 2001
作者: Verfaillie, Gérard Lemaître, Michel ONERA Center of Toulouse 2 avenue Édouard Belin BP 4025 Toulouse Cedex 431055 France
this paper presents some lessons that can be drawn, from the point of view of the constraint reasoning and constraint programming community, from trying to model and to solve as best as possible the mission management... 详细信息
来源: 评论
Interaction of constraint programming and local search for optimisation problems  7
收藏 引用
7th international conference on principles and practice of constraint programming, CP 2001
作者: Azevedo, Francisco Barahona, Pedro Departamento de Informática Universidade Nova de Lisboa Caparica2829-516 Portugal
In this paper we show, for the specific problem of test pattern optimisation, that adapting constraint propagation with results obtained from local search outperforms the use of each of these techniques alone. We show... 详细信息
来源: 评论
Collaborative learning for constraint solving  1
收藏 引用
7th international conference on principles and practice of constraint programming, CP 2001
作者: Epstein, Susan L. Freuder, Eugene C. Department of Computer Science Hunter College and The Graduate School of The City University of New York New YorkNY10021 United States Cork Constraint Computation Centre University College Cork Cork Ireland
Although constraint programming offers a wealth of strong, general-purpose methods, in practice a complex, real application demands a person who selects, combines, and refines various available techniques for constrai... 详细信息
来源: 评论
Exploiting the CSP structure by interchangeability  7
收藏 引用
7th international conference on principles and practice of constraint programming, CP 2001
作者: Neagu, Nicoleta EcublensCH-1015 Switzerland
While there are many AI algorithms designed for finding solutions in a constraint Satisfaction Problems, finding similar solutions of a CSP requires entirely new and different methods. the method we propose here is ba... 详细信息
来源: 评论
Branch-and-check: A hybrid framework integrating mixed integer programming and constraint logic programming  1
收藏 引用
7th international conference on principles and practice of constraint programming, CP 2001
作者: thorsteinsson, Erlendur S. Graduate School of Industrial Administration Carnegie Mellon University Schenley Park PittsburghPA15213–3890 United States
We present Branch-and-Check, a hybrid framework integrating Mixed Integer programming and constraint Logic programming, which encapsulates the traditional Benders Decomposition and Branch-and-Bound as special cases. I... 详细信息
来源: 评论
the expressive power of binary linear programming  7
收藏 引用
7th international conference on principles and practice of constraint programming, CP 2001
作者: Cadoli, Marco Dipartimento di Informatica e Sistemistica Universitá di Roma "La Sapienza" Via Salaria 113 RomaI-00198 Italy
Very efficient solvers for Integer programming exist, when the constraints and the objective function are linear. In this paper we tackle a fundamental question: what is the expressive power of Integer Linear Programm... 详细信息
来源: 评论
High-level modelling and reformulation of constraint satisfaction problems  7
收藏 引用
7th international conference on principles and practice of constraint programming, CP 2001
作者: Hnich, Brahim Computer Science Division Department of Information Science Uppsala University Box 513 UppsalaS-751 20 Sweden
the modelling process of constraint satisfaction problems as constraint programs requires sophisticated reasoning skills and involves crucial decisions on which variable representations to choose, on which constraint ...
来源: 评论