咨询与建议

限定检索结果

文献类型

  • 309 篇 会议
  • 6 篇 期刊文献
  • 2 册 图书

馆藏范围

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

日期分布

学科分类号

  • 274 篇 工学
    • 267 篇 计算机科学与技术...
    • 165 篇 软件工程
    • 27 篇 信息与通信工程
    • 19 篇 电气工程
    • 4 篇 化学工程与技术
    • 3 篇 动力工程及工程热...
    • 3 篇 土木工程
    • 2 篇 机械工程
    • 2 篇 冶金工程
    • 2 篇 控制科学与工程
    • 2 篇 建筑学
    • 2 篇 农业工程
    • 2 篇 环境科学与工程(可...
    • 1 篇 力学(可授工学、理...
    • 1 篇 材料科学与工程(可...
    • 1 篇 测绘科学与技术
    • 1 篇 石油与天然气工程
  • 192 篇 理学
    • 143 篇 数学
    • 116 篇 系统科学
    • 7 篇 统计学(可授理学、...
    • 5 篇 物理学
    • 4 篇 化学
    • 3 篇 生物学
    • 1 篇 地球物理学
  • 24 篇 管理学
    • 22 篇 管理科学与工程(可...
    • 15 篇 工商管理
    • 3 篇 图书情报与档案管...
  • 4 篇 经济学
    • 4 篇 应用经济学
  • 4 篇 法学
    • 4 篇 社会学
  • 2 篇 农学
    • 2 篇 作物学

主题

  • 64 篇 constraint theor...
  • 52 篇 constraint satis...
  • 31 篇 constraint progr...
  • 11 篇 constrained opti...
  • 8 篇 problem solving
  • 7 篇 scheduling
  • 4 篇 modeling languag...
  • 4 篇 model checking
  • 4 篇 optimization
  • 3 篇 polynomial appro...
  • 3 篇 constraint handl...
  • 3 篇 semantics
  • 3 篇 regular constrai...
  • 2 篇 solution countin...
  • 2 篇 computational co...
  • 2 篇 constraint satis...
  • 2 篇 computational ge...
  • 2 篇 alldifferent con...
  • 2 篇 logic programmin...
  • 2 篇 linear programmi...

机构

  • 5 篇 cork constraint ...
  • 5 篇 cork constraint ...
  • 4 篇 ecole polytech m...
  • 4 篇 fraunhofer first...
  • 4 篇 natl univ irelan...
  • 4 篇 kth royal inst t...
  • 4 篇 mines de nantes
  • 4 篇 brown univ provi...
  • 3 篇 univ bologna dei...
  • 3 篇 nicta nsw
  • 3 篇 university of co...
  • 3 篇 161 rue ada mont...
  • 3 篇 iiia-csic campus...
  • 3 篇 univ connecticut...
  • 3 篇 natl univ irelan...
  • 3 篇 univ coll cork c...
  • 3 篇 univ london impe...
  • 3 篇 univ toronto dep...
  • 2 篇 lund university ...
  • 2 篇 university of pa...

作者

  • 16 篇 stuckey peter j.
  • 11 篇 o'sullivan barry
  • 9 篇 bessiere christi...
  • 8 篇 miguel ian
  • 8 篇 beldiceanu nicol...
  • 8 篇 hebrard emmanuel
  • 8 篇 pesant gilles
  • 7 篇 van hentenryck p...
  • 7 篇 walsh toby
  • 7 篇 schulte christia...
  • 7 篇 quimper claude-g...
  • 6 篇 nightingale pete...
  • 6 篇 gent ian p.
  • 6 篇 choueiry berthe ...
  • 6 篇 simonis helmut
  • 6 篇 schaus pierre
  • 5 篇 rousseau louis-m...
  • 5 篇 hnich brahim
  • 5 篇 deville yves
  • 5 篇 bessière christi...

语言

  • 316 篇 英文
  • 1 篇 中文
检索条件"任意字段=7th International Conference on Principles and Practice of Constraint Programming, CP 2001"
317 条 记 录,以下是281-290 订阅
排序:
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... 详细信息
来源: 评论
Distributed dynamic backtracking  7
收藏 引用
7th international conference on principles and practice of constraint programming, cp 2001
作者: Bessière, Christian Maestre, Arnold Meseguer, Pedro 161 rue Ada Montpellier Cedex 534392 France IIIA-CSIC Campus UAB Bellaterra08193 Spain
In the scope of distributed constraint reasoning, the main algorithms presented so far have a feature in common: the addition of links between previously unrelated agents, before or during search. Our work presents a ... 详细信息
来源: 评论
Generating tradeoffs for interactive constraint-based configuration  7
收藏 引用
7th international conference on principles and practice of constraint programming, cp 2001
作者: Freuder, Eugene C. O’Sullivan, Barry Cork Constraint Computation Centre University College Cork Ireland Department of Computer Science University College Cork Ireland
In this paper we have modeled tradeoffs in constraint-based configuration as additional constraints, and begun to study the issues involved in generating and evaluating such tradeoffs. We describe our basic approach i... 详细信息
来源: 评论
Partition-k-AC: An efficient filtering technique combining domain partition and arc consistency  7
收藏 引用
7th international conference on principles and practice of constraint programming, cp 2001
作者: Bennaceur, Hachemi Affane, Mohamed-Salah Laboratoire d’informatique de Paris-Nord Institut Galilée Avenue Jean-Baptiste Clément VilletaneuseF-93430 France
the constraint propagation process is a powerful tool for solving constraint satisfaction problems (CSPs). We propose a filtering technique which exploits at best this tool in order to improve the pruning efficiency. ... 详细信息
来源: 评论
Heterogeneous constraint problems: An outline of the field of work  7
收藏 引用
7th international conference on principles and practice of constraint programming, cp 2001
作者: Seelisch, Frank DaimlerChrysler AG - Research & Technology Knowledge-Based Engineering Alt-Moabit 96a Berlin10559 Germany
Nowadays, constraint processing has become a mayor issue in engineering applications based on digital product models. A modern product naturally decomposes into numerous subcomponents, the physical behaviour of which ... 详细信息
来源: 评论
Composition operators for constraint propagation: An application to Choco  7
收藏 引用
7th international conference on principles and practice of constraint programming, cp 2001
作者: Granvilliers, Laurent Monfroy, Eric IRIN – University of Nantes 2 rue de la Houssinière – B.P. 92208 Nantes cedex 344322 France
A constraint satisfaction problem is defined by a set of variables associated to domains,and a set of constraints on these variables. Solving a constraint satisfaction problem consists in finding assignments of all va...
来源: 评论
Pruning for the minimum constraint family and for the number of distinct values constraint family  1
收藏 引用
7th international conference on principles and practice of constraint programming, cp 2001
作者: Beldiceanu, Nicolas SICS Lägerhyddsvägen 18 UppsalaSE-75237 Sweden
the paper presents propagation rules that are common to the minimum constraint family and to the number of distinct values constraint family. One practical interest of the paper is to describe an implementation of the... 详细信息
来源: 评论
Specific filtering algorithms for over-constrained problems  7
收藏 引用
7th international conference on principles and practice of constraint programming, cp 2001
作者: Petit, thierry Règin, Jean-Charles Bessière, Christian ILOG 1681 route des Dolines Valbonne06560 France 161 rue Ada Montpellier Cedex 534392 France
In recent years, many constraint-specific filtering algorithms have been introduced. Such algorithms use the semantics of the constraint to perform filtering more efficiently than a generic algorithm. the usefulness o... 详细信息
来源: 评论
Structural constraint-based modeling and reasoning with basic configuration cells  7
收藏 引用
7th international conference on principles and practice of constraint programming, cp 2001
作者: Gasca, Rafael M. Ortega, Juan A. Toro, Miguel Department of Languages and Computer Systems University of Sevilla Avda. Reina Mercedes s/n Sevilla41012 Spain
Configuration tasks are an important application area in engineering design. the proposed solving techniques use either a constraint based framework or a logic-based approach. We propose a methodology to obtains desir... 详细信息
来源: 评论
A constraint programming approach to the stable marriage problem  1
收藏 引用
7th international conference on principles and practice of constraint programming, cp 2001
作者: Gent, Ian P Irving, Robert W Manlove, David F Prosser, Patrick Smith, Barbara M School of Computer Science University of St. Andrews United Kingdom Department of Computing Science University of Glasgow United Kingdom School of Computing and Mathematics University of Huddersfield United Kingdom
the Stable Marriage problem (SM) is an extensively-studied combinatorial problem with many practical applications. In this paper we present two encodings of an instance I of SM as an instance J of a constraint Satisfa... 详细信息
来源: 评论