咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是861-870 订阅
排序:
Groups and constraints: Symmetry breaking during search  8th
收藏 引用
8th international conference on principles and practice of constraint programming, CP 2002
作者: Gent, Ian P. Harvey, Warwick Kelsey, Tom School of Computer Science University of St Andrews St Andrews FifeKY16 9SS United Kingdom IC-Parc Imperial College Exhibition Road LondonSW7 2AZ United Kingdom
We present an interface between the ECLiPSe constraint logic programming system and the GAP computational abstract algebra system. the interface provides a method for efficiently dealing with large numbers of symmetri... 详细信息
来源: 评论
Studying interchangeability in constraint satisfaction problems  8th
收藏 引用
8th international conference on principles and practice of constraint programming, CP 2002
作者: Neagu, Nicoleta EcublensCH-1015 Switzerland
Most work in constraint satisfaction has concentrated on computing a solution to a given problem. In practice, it often happens that an existing solution needs to be modified to satisfy additional criteria or changes ... 详细信息
来源: 评论
A concurrent constraint programming approach for trajectory determination of autonomous vehicles  8th
收藏 引用
8th international conference on principles and practice of constraint programming, CP 2002
作者: Quesada, Luis Van Roy, Peter Catholic University of Louvain Louvain-la-Neuve Belgium
We present trajectory determination of Autonomous Vehicles as an extension of the open-path asymmetric Traveling Salesman Problem with Time Windows. 9; Springer-Verlag Berlin Heidelberg 2002.
来源: 评论
A modeling framework for constraints  8th
收藏 引用
8th international conference on principles and practice of constraint programming, CP 2002
作者: Renker, Gerrit School of Computing RGU Aberdeen United Kingdom
this paper reports on the macron (Modeling and Acquiring constraints Reusing Object Notation) project, which defines a modeling framework for CSPs compliant to available standards. 9; Springer-Verlag Berlin Heidel... 详细信息
来源: 评论
A relaxation of the cumulative constraint  8th
收藏 引用
8th international conference on principles and practice of constraint programming, CP 2002
作者: Hooker, John N. Yan, Hong Graduate School of Industrial Administration Carnegie Mellon University PittsburghPA15213 United States Department of Management Hong Kong Polytechnic University Hung Hom Hong Kong
Hybrid methods that combine constraint programming with mathematical programming make essential use of continuous relaxations for global constraints. We state a relaxation for the cumulative constraint. In particular ... 详细信息
来源: 评论
Distributed constraint-based railway simulation
收藏 引用
8th international conference on principles and practice of constraint programming, CP 2002
作者: Schlenker, Hans Fraunhofer FIRST Kekuléstraße 7 Berlin Germany
来源: 评论
Inferring constraint types in constraint programming  8th
收藏 引用
8th international conference on principles and practice of constraint programming, CP 2002
作者: Lesaint, David Intelligent Systems Lab BTexact Technologies BT France 11 place des Vosges Courbevoie92061 France
Capturing constraint structure is critical in constraint programming to support the configuration and adaptation of domain filtering algorithms. To this end, we propose a software model couplinga relational constraint... 详细信息
来源: 评论
Integrating search objects in asynchronous constraint solving
收藏 引用
8th international conference on principles and practice of constraint programming, CP 2002
作者: Ringwelski, Georg Fraunhofer FIRST Kekuléstraße 7 Berlin Germany
来源: 评论
constraint modeling in the context of academic task assignment
收藏 引用
8th international conference on principles and practice of constraint programming, CP 2002
作者: Glaubius, Robert Choueiry, Berthe Y. Computer Science and Engineering University of Nebraska-Lincoln United States
来源: 评论
An arc-consistency algorithm for the minimum weight all different constraint  8th
收藏 引用
8th international conference on principles and practice of constraint programming, CP 2002
作者: Sellmann, Meinolf University of Paderborn Department of Mathematics and Computer Science Fürstenallee 11 PaderbornD-33102 Germany
Historically, discrete minimization problems in constrained logical programming were modeled with the help of an isolated bounding constraint on the objective that is to be decreased. To overcome this frequently ineff... 详细信息
来源: 评论