咨询与建议

限定检索结果

文献类型

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

馆藏范围

  • 322 篇 电子文献
  • 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
  • 6 篇 mathematical log...
  • 5 篇 artificial intel...
  • 4 篇 modeling languag...
  • 4 篇 model checking
  • 4 篇 optimization
  • 4 篇 programming lang...
  • 4 篇 logics and meani...
  • 3 篇 polynomial appro...
  • 3 篇 constraint handl...
  • 3 篇 semantics
  • 3 篇 algorithm analys...
  • 3 篇 regular constrai...
  • 2 篇 solution countin...
  • 2 篇 software enginee...

机构

  • 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...

语言

  • 322 篇 英文
  • 1 篇 中文
检索条件"任意字段=7th International Conference on Principles and Practice of Constraint Programming, CP 2001"
323 条 记 录,以下是21-30 订阅
排序:
Dual models of permutation problems  7
收藏 引用
7th international conference on principles and practice of constraint programming, cp 2001
作者: Smith, Barbara M. School of Computing & Mathematics University of Huddersfield HuddersfieldHD1 3DH United Kingdom
A constraint satisfaction problem is a permutation problem if it has the same number of values as variables, all variables have the same domain and any solution assigns a permutation of the values to the variables. th... 详细信息
来源: 评论
Adaptive constraint handling with CHR in Java  7
收藏 引用
7th international conference on principles and practice of constraint programming, cp 2001
作者: Armin, Armin Wolf Kekuléstraße 7 BerlinD-12489 Germany
the most advanced implementation of adaptive constraint processing with constraint Handling Rules (CHR) is introduced in the imperative object-oriented programming language Java. the presented Java implementation cons... 详细信息
来源: 评论
constraint-Based Fleet Design Optimisation for Multi-compartment Split-Delivery Rich Vehicle Routing  23rd
Constraint-Based Fleet Design Optimisation for Multi-compart...
收藏 引用
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)
作者: Urli, Tommaso Kilby, Philip Australian Natl Univ ANU CSIRO Data61 Tower ALevel 37 London Circuit Canberra ACT 2601 Australia
We describe a large neighbourhood search (LNS) solver based on a constraint programming (cp) model for a real-world rich vehicle routing problem with compartments arising in the context of fuel delivery. Our solver su... 详细信息
来源: 评论
Concurrent constraint programming Research Programmes - Redux
Concurrent Constraint Programming Research Programmes - Redu...
收藏 引用
20th international conference on the principles and practice of constraint programming (cp)
作者: Saraswat, Vijay IBM TJ Watson Res Ctr Yorktown Hts NY 10598 USA
At the first PPcp conference in 1995, I was honored to be one of the invited speakers. Twenty conferences later, much has changed in the computational *** have seen the penetration of the Internet in every aspect of h...
来源: 评论
On the dynamic detection of interchangeability in finite constraint satisfaction problems  7
收藏 引用
7th international conference on principles and practice of constraint programming, cp 2001
作者: Beckwith, Amy M Choueiry, Berthe Y Department of Computer Science and Engineering University of Nebraska Lincoln United States
We investigate techniques that detect, dynamically during search, undeclared symmetries in the form of interchangeability (Freuder’91) in constraint Satisfaction Problems, with the long-term goal of drawing ...
来源: 评论
constraint processing techniques for model-based reasoning about dynamic systems  7
收藏 引用
7th international conference on principles and practice of constraint programming, cp 2001
作者: Panati, Andrea Dipartimento di Informatica Università di Torino Corso Svizzera 185 Torino10149 Italy
In recent years, there is an increasing interest in modeling and reasoning about complex dynamic systems for tasks such as design, configuration, simulation and diagnosis of technical devices. these tasks, however, re...
来源: 评论
Aircraft assignment using constraint programming  7
收藏 引用
7th international conference on principles and practice of constraint programming, cp 2001
作者: Kilborn, Erik Computing Science Chalmers University of Technology GöteborgSE-412 96 Sweden
the aircraft assignment (or tail assignment) problem is to determine the routes flown by each aircraft in a given fleet, such that each flight is included in exactly one route and the aircraft visit maintenance statio...
来源: 评论
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... 详细信息
来源: 评论
Teaching constraint programming
Teaching Constraint Programming
收藏 引用
20th international conference on the principles and practice of constraint programming (cp)
作者: Prosser, Patrick Univ Glasgow Sch Comp Sci Glasgow G12 8QQ Lanark Scotland
How do we do research?We start with a question. then we read books, journal and conference papers, maybe even speak to people. then we do our own work, make our own contribution, maybe coming up with an improved techn... 详细信息
来源: 评论
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... 详细信息
来源: 评论