咨询与建议

限定检索结果

文献类型

  • 956 篇 会议
  • 51 篇 期刊文献
  • 5 册 图书

馆藏范围

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

日期分布

学科分类号

  • 853 篇 工学
    • 833 篇 计算机科学与技术...
    • 495 篇 软件工程
    • 41 篇 信息与通信工程
    • 27 篇 电气工程
    • 17 篇 控制科学与工程
    • 8 篇 机械工程
    • 7 篇 土木工程
    • 6 篇 建筑学
    • 6 篇 化学工程与技术
    • 5 篇 材料科学与工程(可...
    • 5 篇 农业工程
    • 4 篇 力学(可授工学、理...
    • 4 篇 交通运输工程
    • 4 篇 生物工程
    • 3 篇 冶金工程
    • 3 篇 动力工程及工程热...
    • 2 篇 电子科学与技术(可...
    • 2 篇 航空宇航科学与技...
  • 530 篇 理学
    • 422 篇 数学
    • 274 篇 系统科学
    • 18 篇 统计学(可授理学、...
    • 10 篇 物理学
    • 7 篇 生物学
    • 6 篇 化学
  • 62 篇 管理学
    • 54 篇 管理科学与工程(可...
    • 34 篇 工商管理
    • 10 篇 图书情报与档案管...
  • 7 篇 法学
    • 7 篇 社会学
  • 5 篇 经济学
    • 5 篇 应用经济学
  • 5 篇 农学
    • 5 篇 作物学
  • 1 篇 教育学
  • 1 篇 医学
  • 1 篇 军事学

主题

  • 198 篇 constraint theor...
  • 163 篇 constraint satis...
  • 62 篇 constraint progr...
  • 26 篇 constrained opti...
  • 25 篇 computer program...
  • 23 篇 integer programm...
  • 21 篇 answer set progr...
  • 15 篇 logic programmin...
  • 15 篇 scheduling
  • 14 篇 dynamic programm...
  • 13 篇 problem solving
  • 12 篇 linear programmi...
  • 11 篇 global constrain...
  • 10 篇 modeling languag...
  • 9 篇 constraint satis...
  • 9 篇 combinatorial op...
  • 7 篇 model checking
  • 7 篇 semantics
  • 7 篇 local search
  • 6 篇 optimization

机构

  • 18 篇 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 篇 natl univ singap...
  • 6 篇 cork constraint ...
  • 6 篇 chinese univ hon...
  • 5 篇 161 rue ada mont...
  • 5 篇 cornell univ dep...
  • 5 篇 univ coll cork d...
  • 5 篇 univ st andrews ...
  • 5 篇 ben gurion univ ...
  • 5 篇 department of co...
  • 5 篇 univ coll cork c...

作者

  • 31 篇 stuckey peter j.
  • 28 篇 o'sullivan barry
  • 22 篇 van hentenryck p...
  • 20 篇 freuder eugene c...
  • 17 篇 walsh toby
  • 17 篇 quimper claude-g...
  • 15 篇 miguel ian
  • 15 篇 michel laurent
  • 15 篇 bessiere christi...
  • 14 篇 beldiceanu nicol...
  • 14 篇 schaus pierre
  • 14 篇 schulte christia...
  • 12 篇 smith barbara m.
  • 12 篇 hebrard emmanuel
  • 12 篇 pesant gilles
  • 11 篇 régin jean-charl...
  • 11 篇 beck j. christop...
  • 10 篇 hnich brahim
  • 10 篇 gent ian p.
  • 10 篇 rueher michel

语言

  • 1,009 篇 英文
  • 3 篇 中文
检索条件"任意字段=10th International Conference on the Principles and Practice of Constraint Programming"
1012 条 记 录,以下是281-290 订阅
排序:
Tree-Decompositions with Connected Clusters for Solving constraint Networks
Tree-Decompositions with Connected Clusters for Solving Cons...
收藏 引用
20th international conference on the principles and practice of constraint programming (CP)
作者: Jegou, Philippe Terrioux, Cyril Aix Marseille Univ LSIS UMR 7296 F-13397 Marseille France
From a theoretical viewpoint, the (tree-) decomposition methods offer a good approach for solving constraint Satisfaction Problems (CSPs) when their (tree)-width is small. In this case, they have often shown their pra... 详细信息
来源: 评论
the Non-overlapping constraint between Objects Described by Non-linear Inequalities
The Non-overlapping Constraint between Objects Described by ...
收藏 引用
20th international conference on the principles and practice of constraint programming (CP)
作者: Salas, Ignacio Chabert, Gilles Goldsztejn, Alexandre Mines Nantes LINA UMR 6241 Nantes France CNRS LINA UMR 6241 F-75700 Paris France
Packing 2D objects in a limited space is an ubiquitous problem with many academic and industrial variants. In any case, solving this problem requires the ability to determine where a first object can be placed so that... 详细信息
来源: 评论
Worst-Case Scheduling of Software Tasks A constraint Optimization Model to Support Performance Testing
Worst-Case Scheduling of Software Tasks A Constraint Optimiz...
收藏 引用
20th international conference on the principles and practice of constraint programming (CP)
作者: Di Alesio, Stefano Nejati, Shiva Briand, Lionel Gotlieb, Arnaud Simula Res Lab Certus Ctr Software Verificat & Validat Oslo Norway Univ Luxembourg Interdisciplinary Ctr Reliabil Secur & Trust SnT Luxembourg Luxembourg
Real-Time Embedded Systems (RTES) in safety-critical domains, such as maritime and energy, must satisfy strict performance requirements to be deemed safe. therefore, such systems have to be thoroughly tested to ensure... 详细信息
来源: 评论
Discriminating Instance Generation for Automated constraint Model Selection
Discriminating Instance Generation for Automated Constraint ...
收藏 引用
20th international conference on the principles and practice of constraint programming (CP)
作者: Gent, Ian P. Hussain, Bilal Syed Jefferson, Christopher Kotthoff, Lars Miguel, Ian Nightingale, Glenna F. Nightingale, Peter Univ St Andrews Sch Comp Sci St Andrews KY16 9AJ Fife Scotland INSIGHT Ctr Data Analyt Dublin Ireland
One approach to automated constraint modelling is to generate, and then select from, a set of candidate models. this method is used by the automated modelling system CONJURE. To select a preferred model or set of mode... 详细信息
来源: 评论
Computing a Payoff Division in the Least Core for MC-nets Coalitional Games  1
收藏 引用
17th international conference on principles and practice of Multi-Agent Systems (PRIMA)
作者: Hirayama, Katsutoshi Hanada, Kenta Ueda, Suguru Yokoo, Makoto Iwasaki, Atsushi Kobe Univ Kobe Hyogo Japan Natl Inst Informat Kumamoto Japan Kyushu Univ Fukuoka Japan Univ Elect Commnunicat Tokyo Japan
MC-nets is a concise representation of the characteristic functions that exploits a set of rules to compute payoffs. Given a MC-nets instance, the problem of computing a payoff division in the least core, which is a g... 详细信息
来源: 评论
A complete solver for constraint games
A complete solver for constraint games
收藏 引用
20th international conference on the principles and practice of constraint programming, CP 2014
作者: Nguyen, thi-Van-Anh Lallouet, Arnaud GREYC Université de Caen Campus Côte de Nacre Boulevard du Maréchal Juin BP 5186 14032 Caen Cedex France
Game theory studies situations in which multiple agents having conflicting objectives have to reach a collective decision. the question of a compact representation language for agents utility function is of crucial im... 详细信息
来源: 评论
the balance constraint family
The balance constraint family
收藏 引用
20th international conference on the principles and practice of constraint programming, CP 2014
作者: Bessiere, Christian Hebrard, Emmanuel Katsirelos, George Kiziltan, Zeynep Picard-Cantin, Émilie Quimper, Claude-Guy Walsh, Toby CNRS University of Montpellier France LAAS-CNRS Toulouse France INRA Toulouse France DISI University of Bologna Italy Université Laval Canada NICTA University of New South Wales Australia
the Balance constraint introduced by Beldiceanu ensures solutions are balanced. this is useful when, for example, there is a requirement for solutions to be fair. Balance bounds the difference B between the minimum an... 详细信息
来源: 评论
Automatically improving constraint models in savile row through associative-commutative common subexpression elimination
Automatically improving constraint models in savile row thro...
收藏 引用
20th international conference on the principles and practice of constraint programming, CP 2014
作者: Nightingale, Peter Akgün, Özgür Gent, Ian P. Jefferson, Christopher Miguel, Ian School of Computer Science University of St. Andrews St.-Andrews Fife-KY16 9SX United Kingdom
When solving a problem using constraint programming, constraint modelling is widely acknowledged as an important and difficult task. Even a constraint modelling expert may explore many models and spend considerable ti... 详细信息
来源: 评论
principles and practice of constraint programming - 18th international conference, CP 2012, Proceedings
Principles and Practice of Constraint Programming - 18th Int...
收藏 引用
18th international conference on principles and practice of constraint programming, CP 2012
the proceedings contain 71 papers. the topics discussed include: constraint programming and a usability quest;optimization challenges in smart grid operations;where are the interesting problems?;a generic method for i...
来源: 评论
Efficient pseudorecursive evaluation schemes for non-adaptive sparse grids  1
收藏 引用
2nd Workshop on Sparse Grids and Applications, SGA 2012
作者: Buse, Gerrit Pflüger, Dirk Jacob, Riko TU München München Germany Institute for Parallel and Distributed Systems Universität Stuttgart Stuttgart Germany ETH Zurich Zurich Switzerland
In this work we propose novel algorithms for storing and evaluating sparse grid functions, operating on regular (not spatially adaptive), yet potentially dimensionally adaptive grid types. Besides regular sparse grids... 详细信息
来源: 评论