咨询与建议

限定检索结果

文献类型

  • 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...
  • 25 篇 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,072 篇 英文
  • 3 篇 中文
  • 1 篇 其他
检索条件"任意字段=9th International Conference on Principles and Practice of Constraint Programming"
1076 条 记 录,以下是971-980 订阅
排序:
Cooperating constraint solvers  6th
收藏 引用
6th international conference on principles and practice of constraint programming, CP2000
作者: Hofstedt, Petra Department of Computer Science Berlin University of Technology Germany
We propose a general scheme for the cooperation of different constraint solvers. On top of a uniform interface for constraint we stepwise develop reduction systems which describe the behaviour of an overall combined s... 详细信息
来源: 评论
An original constraint based approach for solving over constrained problems  6th
收藏 引用
6th international conference on principles and practice of constraint programming, CP2000
作者: Régin, J.-C. Petit, T. Bessière, C. Puget, J.-F. ILOG 1681 route des Dolines Valbonne06560 France LIRMM UMR 5506 CNRS 161 rue Ada Montpellier Cedex 534392 France ILOG S.A 9 rue de Verdun BP 85 Gentilly Cedex94253 France
In this paper we present a new framework for over constrained problems. We suggest to define an over-constrained network as a global constraint. We introduce two new lower bounds of the number of violations, without m... 详细信息
来源: 评论
constraint-based agents: the ABC’s of CBA’s  6th
收藏 引用
6th international conference on principles and practice of constraint programming, CP2000
作者: Mackworth, Alan K. Laboratory for Computational Intelligence Department of Computer Science University of British Columbia VancouverBCV6T 1Z4 Canada
the constraint-Based Agent (CBA) framework is a set of tools for designing, simulating, building, verifying, optimizing, learning and debugging controllers for agents embedded in an active environment. the agent and t... 详细信息
来源: 评论
Cutting planes in constraint programming: An hybrid approach  6th
收藏 引用
6th international conference on principles and practice of constraint programming, CP2000
作者: Focacci, Filippo Lodi, Andrea Milano, Michela Dipartimento di Ingegneria Università di Ferrara Italy D.E.I.S Università di Bologna Italy
In recent years, a growing number of attempts have been performed in order to integrate well known Operations Research(OR) techniques in constraint programming (CP) tools. the aim of the integration is to maintain the... 详细信息
来源: 评论
A constraint programming approach for solving rigid geometric systems  6th
收藏 引用
6th international conference on principles and practice of constraint programming, CP2000
作者: Jermann, Christophe Trombettoni, Gilles Neve, Ertrand Rueher, Michel Université de Nice-Sophia Antipolis I3S ESSI 930 route des Colles B.P. 145 Sophia Antipolis Cedex06903 France CERMICS 2004 route des lucioles B.P. 93 Sophia Antipolis Cedex06902 France
this paper introduces a new rigidification method -using interval constraint programming techniques-to solve geometric constraint systems. Standard rigidification techniques are graph-constructive methods exploiting t... 详细信息
来源: 评论
A constraint-based framework for prototyping distributed virtual applications  6th
收藏 引用
6th international conference on principles and practice of constraint programming, CP2000
作者: Gupta, Vineet Jagadeesan, Lalita Jategaonkar Jagadeesan, Radha Jiang, Xiaowei Läufer, Konstantin 201 Ravendale Mountain ViewCA94043 United States Software Production Research Dept Bell Laboratories Lucent Technologies 263 Shuman Blvd NapervilleIL60566 United States Dept. of Mathematical and Computer Sciences Loyola University Chicago 6525 N. Sheridan Road ChicagoIL60626 United States
this paper describes the architecture and implementation of a constraint-based framework for rapid prototyping of distributed applications such as virtual simulations, collaborations and games. Our framework integrate... 详细信息
来源: 评论
A scalable linear constraint solver for user interface construction  6th
收藏 引用
6th international conference on principles and practice of constraint programming, CP2000
作者: Hosobe, Hiroshi National Institute of Informatics 2-1-2 Hitotsubashi Chiyoda-kuTokyo101-8430 Japan
this paper proposes an algorithm for satisfying systems of linear equality and inequality constraints with hierarchical strengths or preferences. Basically, it is a numerical method that incrementally obtains the LU d... 详细信息
来源: 评论
New tractable classes from old  6th
收藏 引用
6th international conference on principles and practice of constraint programming, CP2000
作者: Cohen, David Jeavons, Peter Gault, Richard Department of Computer Science Royal Holloway University of London United Kingdom Oxford University Computing Laboratory Wolfson Building Parks Road Oxford United Kingdom
Many combinatorial problems can be naturally expressed as "constraint satisfaction problems". this class of problems is known to be NP-hard in general, but a number of restrictions of the general problem hav... 详细信息
来源: 评论
Branching constraint satisfaction problems for solutions robust under likely changes  6th
收藏 引用
6th international conference on principles and practice of constraint programming, CP2000
作者: Fowler, David W. Brown, Kenneth N. University of Aberdeen AberdeenAB24 3UE United Kingdom
Many applications of CSPs require partial solutions to be found before all the information about the problem is available. We examine the case where the future is partially known, and where it is important to make dec... 详细信息
来源: 评论
SAT v CSP  6th
收藏 引用
6th international conference on principles and practice of constraint programming, CP2000
作者: Walsh, Toby University of York York United Kingdom
We perform a comprehensive study of mappings between constraint satisfaction problems (CSPs)an d propositional satisfiability (SAT). We analyse four different mappings of SAT problems into CSPs, and two of CSPs into S... 详细信息
来源: 评论