咨询与建议

限定检索结果

文献类型

  • 36 篇 会议
  • 2 篇 期刊文献

馆藏范围

  • 38 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 27 篇 理学
    • 21 篇 数学
    • 18 篇 系统科学
    • 1 篇 统计学(可授理学、...
  • 25 篇 工学
    • 24 篇 计算机科学与技术...
    • 16 篇 软件工程
    • 2 篇 信息与通信工程
    • 1 篇 电气工程
    • 1 篇 农业工程
  • 1 篇 法学
    • 1 篇 社会学
  • 1 篇 农学
    • 1 篇 作物学
  • 1 篇 管理学
    • 1 篇 管理科学与工程(可...

主题

  • 11 篇 constraint satis...
  • 10 篇 constraint theor...
  • 2 篇 directed graphs
  • 1 篇 hierarchical sys...
  • 1 篇 constraint gener...
  • 1 篇 weighted clones
  • 1 篇 motion planning
  • 1 篇 least core
  • 1 篇 discrete optimiz...
  • 1 篇 soft neighborhoo...
  • 1 篇 constrained opti...
  • 1 篇 constraint handl...
  • 1 篇 logic programmin...
  • 1 篇 weighted constra...
  • 1 篇 propagator
  • 1 篇 tsp
  • 1 篇 global constrain...
  • 1 篇 constraint satis...
  • 1 篇 program testing
  • 1 篇 dominance rule

机构

  • 2 篇 cork constraint ...
  • 2 篇 mines de nantes
  • 2 篇 chinese univ hon...
  • 2 篇 cork constraint ...
  • 1 篇 computer and aut...
  • 1 篇 univ autonoma ba...
  • 1 篇 microsoft resear...
  • 1 篇 i3s umr 6070 cnr...
  • 1 篇 algorithms and c...
  • 1 篇 sics kista 16429
  • 1 篇 irit university ...
  • 1 篇 univ paris est f...
  • 1 篇 lausanne ch-1015
  • 1 篇 ryerson univ dep...
  • 1 篇 nicta university...
  • 1 篇 natl inst inform...
  • 1 篇 national institu...
  • 1 篇 univ wyoming dep...
  • 1 篇 cnrs inria tasc ...
  • 1 篇 école des mines ...

作者

  • 4 篇 beldiceanu nicol...
  • 3 篇 pearson justin
  • 3 篇 flener pierre
  • 3 篇 o'sullivan barry
  • 2 篇 jackson marcel
  • 2 篇 niven todd
  • 2 篇 lee jimmy h. m.
  • 2 篇 petit thierry
  • 2 篇 yokoo makoto
  • 2 篇 iwasaki atsushi
  • 1 篇 prestwich steven...
  • 1 篇 isoart nicolas
  • 1 篇 mears christophe...
  • 1 篇 cadar cristian
  • 1 篇 he jun
  • 1 篇 vilím petr
  • 1 篇 cooper martin
  • 1 篇 wallace mark
  • 1 篇 zhang wei ming
  • 1 篇 wilson nic

语言

  • 38 篇 英文
检索条件"任意字段=17th International Conference on Principles and Practice of Constraint Programming, CP 2011"
38 条 记 录,以下是11-20 订阅
排序:
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... 详细信息
来源: 评论
Solving String constraints: the Case for constraint programming
Solving String Constraints: The Case for Constraint Programm...
收藏 引用
19th Annual international conference on principles and practice of constraint programming (cp)
作者: He, Jun Flener, Pierre Pearson, Justin Zhang, Wei Ming Uppsala Univ Dept Informat Technol Uppsala Sweden Natl Univ Def Technol Sch Informat Syst & Management Changsha Hunan Peoples R China
We improve an existing propagator for the context-free grammar constraint and demonstrate experimentally the practicality of the resulting propagator. the underlying technique could be applied to other existing propag... 详细信息
来源: 评论
On the Reduction of the CSP Dichotomy Conjecture to Digraphs
On the Reduction of the CSP Dichotomy Conjecture to Digraphs
收藏 引用
19th Annual international conference on principles and practice of constraint programming (cp)
作者: Bulin, Jakub Delic, Dejan Jackson, Marcel Niven, Todd Charles Univ Prague Fac Math & Phys Prague Czech Republic Ryerson Univ Dept Math Toronto ON Canada La Trobe Univ Dept Math Melbourne Vic Australia
It is well known that the constraint satisfaction problem over general relational structures can be reduced in polynomial time to digraphs. We present a simple variant of such a reduction and use it to show that the a... 详细信息
来源: 评论
Maintaining Soft Arc Consistencies in BnB-ADOPT+ during Search
Maintaining Soft Arc Consistencies in BnB-ADOPT<SUP>+</SUP> ...
收藏 引用
19th Annual international conference on principles and practice of constraint programming (cp)
作者: Gutierrez, Patricia Lee, Jimmy H. M. Lei, Ka Man Mak, Terrence W. K. Meseguer, Pedro Univ Autonoma Barcelona IIIA CSIC Bellaterra 08193 Spain Chinese Univ Hong Kong Dept Comp Sci & Engn Shatin Peoples R China NICTA Victoria Lab Melbourne Vic 3010 Australia Univ Melbourne Melbourne Vic 3010 Australia
Gutierrez and Meseguer show how to enforce consistency in BnB-ADOPT(+) for distributed constraint optimization, but they consider unconditional deletions only. However, during search, more values can be pruned conditi... 详细信息
来源: 评论
Dead-End Elimination for Weighted CSP
Dead-End Elimination for Weighted CSP
收藏 引用
19th Annual international conference on principles and practice of constraint programming (cp)
作者: de Givry, Simon Prestwich, Steven D. O'Sullivan, Barry INRA UR 875 MIA T F-31320 Castanet Tolosan France Univ Coll Cork Cork Constraint Computat Ctr Cork Ireland
Soft neighborhood substitutability (SNS) is a powerful technique to automatically detect and prune dominated solutions in combinatorial optimization. Recently, it has been shown in [26] that enforcing partial SNS (PSN... 详细信息
来源: 评论
constraints in Software Testing, Verification and Analysis CSTVA 2013
Constraints in Software Testing, Verification and Analysis C...
收藏 引用
6th IEEE international conference on Software Testing, Verification and Validation (ICST)
作者: Cadar, Cristian Dadeau, Frederic Univ London Imperial Coll Sci Technol & Med South Kensington Campus London SW7 2AZ England INRIA CASSIS FEMTO ST Inst F-25030 Besancon France
Recent years have seen an increasing interest in the application of constraint solving techniques to test, verify and analyze software systems. A significant body of constraint-based techniques has been proposed and i... 详细信息
来源: 评论
Towards solver-independent propagators
Towards solver-independent propagators
收藏 引用
18th international conference on principles and practice of constraint programming, cp 2012
作者: Monette, Jean-Noël Flener, Pierre Pearson, Justin Department of Information Technology Uppsala University Uppsala Sweden
We present an extension to indexicals to describe propagators for global constraints. the resulting language is compiled into actual propagators for different solvers, and is solver-independent. In addition, we show h... 详细信息
来源: 评论
Revisiting neighborhood inverse consistency on binary CSPs
Revisiting neighborhood inverse consistency on binary CSPs
收藏 引用
18th international conference on principles and practice of constraint programming, cp 2012
作者: Woodward, Robert J. Karakashian, Shant Choueiry, Berthe Y. Bessiere, Christian Constraint Systems Laboratory University of Nebraska-Lincoln United States LIRMM-CNRS University of Montpellier France
Our goal is to investigate the definition and application of strong consistency properties on the dual graphs of binary constraint Satisfaction Problems (CSPs). As a first step in that direction, we study the structur... 详细信息
来源: 评论
Weibull-based benchmarks for bin packing
Weibull-based benchmarks for bin packing
收藏 引用
18th international conference on principles and practice of constraint programming, cp 2012
作者: Castiñeiras, Ignacio De Cauwer, Milan O'Sullivan, Barry Dpto. de Sistemas Informáticos Y Computación Universidad Complutense de Madrid Spain Département Informatique Université de Nantes France Cork Constraint Computation Centre University College Cork Ireland
Bin packing is a ubiquitous problem that arises in many practical applications. the motivation for the work presented here comes from the domain of data centre optimisation. In this paper we present a parameterisable ... 详细信息
来源: 评论
Octagonal domains for continuous constraints
Octagonal domains for continuous constraints
收藏 引用
17th international conference on principles and practice of constraint programming, cp 2011
作者: Pelleau, Marie Truchet, Charlotte Benhamou, Frédéric LINA UMR CNRS 6241 Université de Nantes France
Domains in Continuous constraint programming (cp) are generally represented with intervals whose n-ary Cartesian product (box) approximates the solution space. this paper proposes a new representation for continuous v... 详细信息
来源: 评论