咨询与建议

限定检索结果

文献类型

  • 1,005 篇 会议
  • 51 篇 期刊文献
  • 5 册 图书

馆藏范围

  • 1,060 篇 电子文献
  • 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 篇 dynamic programm...
  • 13 篇 problem solving
  • 12 篇 linear programmi...
  • 10 篇 global constrain...
  • 9 篇 modeling languag...
  • 9 篇 constraint satis...
  • 9 篇 combinatorial op...
  • 9 篇 java programming...
  • 7 篇 model checking
  • 7 篇 optimization
  • 7 篇 local search

机构

  • 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,058 篇 英文
  • 3 篇 中文
检索条件"任意字段=9th International Conference on Principles and Practice of Constraint Programming"
1061 条 记 录,以下是821-830 订阅
排序:
Certainty closure - A framework for reliable constraint reasoning with uncertainty
收藏 引用
9th international conference on principles and practice of constraint programming
作者: Yorke-Smith, N Gervet, C Univ London Imperial Coll Sci Technol & Med IC Parc London SW7 2AZ England
constraint problems with incomplete or erroneous data are often simplified to tractable deterministic models, or modified using error correction methods, with the aim of seeking a solution. However, this can lead us t... 详细信息
来源: 评论
Identifying inconsistent CSPs by relaxation
收藏 引用
9th international conference on principles and practice of constraint programming, CP 2003
作者: Nordlander, Tomas Brown, Ken Sleeman, Derek Department of Computing Science University of Aberdeen United Kingdom Cork Constraint Computation Centre Department of Computer Science UCC Cork Ireland
来源: 评论
Open constraint optimization
收藏 引用
9th international conference on principles and practice of constraint programming
作者: Faltings, B Macho-Gonzalez, S Swiss Fed Inst Technol EPFL Artificial Intelligence Lab LIA CH-1015 Lausanne Switzerland
constraint satisfaction has been applied with great success in closed-world scenarios, where all options and constraints are known from the beginning and fixed. With the internet, many of the traditional CSP applicati... 详细信息
来源: 评论
Consistency and propagation with multiset constraints: A formal viewpoint
收藏 引用
9th international conference on principles and practice of constraint programming
作者: Walsh, T Natl Univ Ireland Univ Coll Cork Cork Constraint Computat Ctr Cork Ireland
We study from a formal perspective the consistency and propagation of constraints involving multiset variables. that is, variables whose values are multisets. these help us model problems more naturally and can, for e... 详细信息
来源: 评论
Distn: An euclidean distance global constraint
收藏 引用
9th international conference on principles and practice of constraint programming, CP 2003
作者: Heusch, Michael PLATON THALES Research and Technology France IRIN Universié de Nantes France
We present a global constraint that maintains the Euclidean distance between n points. 9; Springer-Verlag Berlin Heidelberg 2003.
来源: 评论
Solving 'still life' with soft constraints and bucket elimination
收藏 引用
9th international conference on principles and practice of constraint programming
作者: Larrosa, J Morancho, E Univ Politecn Catalunya E-08028 Barcelona Spain
In this paper we study the applicability of bucket elimination (BE) to the problem of finding still-life patterns. Very recently, it has been tackled using integer programming and constraint programming, both of them ... 详细信息
来源: 评论
Solving Max-SAT as weighted CSP
收藏 引用
9th international conference on principles and practice of constraint programming
作者: de Givry, S Larrosa, J Meseguer, P Schiex, T INRA F-31931 Toulouse France UPC Dept LSI Barcelona Spain CSIC IIIA Bellaterra Spain
For the last ten years, a significant amount of work in the constraint community has been devoted to the improvement of complete methods for solving soft constraints networks. We wanted to see how recent progress in t... 详细信息
来源: 评论
Improved algorithms for counting solutions in constraint satisfaction problems
收藏 引用
9th international conference on principles and practice of constraint programming
作者: Angelsmark, O Jonsson, P Linkoping Univ Dept Comp & Informat Sci S-58183 Linkoping Sweden
Counting the number of solutions to CSP instances has vast applications in several areas ranging from statistical physics to artificial intelligence. We provide a new algorithm for counting the number of solutions to ... 详细信息
来源: 评论
A synthesis of constraint satisfaction and constraint solving
收藏 引用
9th international conference on principles and practice of constraint programming, CP 2003
作者: Maher, Michael J. Department of Computer Science Loyola University Chicago United States
this paper offers a critique of the framework of constraint Satisfaction Problems. While this framework has been successful in studying search techniques, and has inspired some constraint programming languages, it has... 详细信息
来源: 评论
A constraint-aided conceptual design environment for autodesk inventor
收藏 引用
9th international conference on principles and practice of constraint programming
作者: Holland, A O'Callaghan, B O'Sullivan, B Natl Univ Ireland Univ Coll Cork Cork Constraint Computat Ctr Dept Comp Sci Cork Ireland
Engineering conceptual design can be defined as that phase of the product development process during which the designer takes a specification for a product to be designed and generates many broad solutions for it. It ... 详细信息
来源: 评论