咨询与建议

限定检索结果

文献类型

  • 36 篇 会议
  • 2 篇 期刊文献
  • 1 册 图书

馆藏范围

  • 39 篇 电子文献
  • 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 篇 mathematical log...
  • 1 篇 propagator
  • 1 篇 tsp
  • 1 篇 global constrain...
  • 1 篇 constraint satis...
  • 1 篇 program testing

机构

  • 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 篇 department of co...
  • 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 ...

作者

  • 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

语言

  • 39 篇 英文
检索条件"任意字段=17th International Conference on Principles and Practice of Constraint Programming, CP 2011"
39 条 记 录,以下是21-30 订阅
排序:
Filtering algorithms for discrete cumulative problems with overloads of resource
Filtering algorithms for discrete cumulative problems with o...
收藏 引用
17th international conference on principles and practice of constraint programming, cp 2011
作者: De Clercq, Alexis Petit, thierry Beldiceanu, Nicolas Jussien, Narendra École des Mines de Nantes LINA UMR CNRS 6241 4 rue Alfred Kastler NantesFR-44307 France
Many cumulative problems are such that the horizon is fixed and cannot be delayed. In this situation, it often occurs that all the activities cannot be scheduled without exceeding the capacity at some points in time. ... 详细信息
来源: 评论
Pruning rules for constrained optimisation for conditional preferences
Pruning rules for constrained optimisation for conditional p...
收藏 引用
17th international conference on principles and practice of constraint programming, cp 2011
作者: Wilson, Nic Trabelsi, Walid Cork Constraint Computation Centre Department of Computer Science University College Cork Ireland
A depth-first search algorithm can be used to find optimal solutions of a constraint Satisfaction Problem (CSP) with respect to a set of conditional preferences statements (e.g., a cp-net). this involves checking at e... 详细信息
来源: 评论
Proving symmetries by model transformation
Proving symmetries by model transformation
收藏 引用
17th international conference on principles and practice of constraint programming, cp 2011
作者: Mears, Christopher Niven, Todd Jackson, Marcel Wallace, Mark Faculty of IT Monash University Australia Department of Mathematics La Trobe University Australia
the presence of symmetries in a constraint satisfaction problem gives an opportunity for more efficient search. Within the class of matrix models, we show that the problem of deciding whether some well known permutati... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Value ordering for finding all solutions: Interactions with adaptive variable ordering
Value ordering for finding all solutions: Interactions with ...
收藏 引用
17th international conference on principles and practice of constraint programming, cp 2011
作者: Mehta, Deepak O’Sullivan, Barry Quesada, Luis Cork Constraint Computation Centre University College Cork Ireland
We consider the impact of value ordering heuristics on the search effort required to find all solutions, or proving none exist, to a constraint satisfaction problem in k-way branching search. We show that when the var... 详细信息
来源: 评论
Completable partial solutions in constraint programming and constraint-based scheduling
收藏 引用
10th international conference on the principles and practice of constraint programming
作者: Kovács, A Váncza, J Budapest University of Technology and Economics Magyar tudósok körútja 2/d Budapest1117 Hungary Computer and Automation Research Institute Kende utca 13-17 Budapest1111 Hungary
the paper introduces the notion of freely completable partial solutions to characterize constraint satisfaction problems that have components which are relatively easy to solve and are only loosely connected to the re... 详细信息
来源: 评论
Towards inductive constraint solving  1
收藏 引用
7th international conference on principles and practice of constraint programming, cp 2001
作者: Abdennadher, Slim Rigotti, Christophe Computer Science Department University of Munich Oettingenstr. 67 München80538 Germany Laboratoire d’Ingénierie des Systèmes d’Information Bâtiment 501 INSA Lyon Villeurbanne Cedex69621 France
A difficulty that arises frequently when writing a constraint solver is to determine the constraint propagation and simplification algorithm. In previous work, different methods for automatic generation of propagation... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论