咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是31-40 订阅
排序:
Pseudo-tree-based incomplete algorithm for distributed constraint optimization with quality bounds
Pseudo-tree-based incomplete algorithm for distributed const...
收藏 引用
17th international conference on principles and practice of constraint programming, cp 2011
作者: Okimoto, Tenda Joe, Yongjoon Iwasaki, Atsushi Yokoo, Makoto Faltings, Boi Kyushu University Fukuoka8190395 Japan LausanneCH-1015 Switzerland
A Distributed constraint Optimization Problem (DCOP) is a fundamental problem that can formalize various applications related to multi-agent cooperation. Since it is NP-hard, considering faster incomplete algorithms i... 详细信息
来源: 评论
Orchestrating satisfiability engines  17th
Orchestrating satisfiability engines
收藏 引用
17th international conference on principles and practice of constraint programming, cp 2011
作者: de Moura, Leonardo Microsoft Research One Microsoft Way RedmondWA98052 United States
constraint satisfaction problems arise in many diverse areas including software and hardware verification, type inference, static program analysis, test-case generation, scheduling, planning and graph problems. these ... 详细信息
来源: 评论
Encodings of the SEQUENCE constraint
Encodings of the SEQUENCE constraint
收藏 引用
13th international conference on principles and practice of constraint programming (cp 2007)
作者: Brand, Sebastian Narodytska, Nina Quimper, Claude-Guy Stuckey, Peter Walsh, Toby NICTA University of Melbourne NICTA University of NSW Omega Optimisation
the SEQUENCE constraint is useful in modelling car sequencing, rostering, scheduling and related problems. We introduce half a dozen new encodings of the SEQUENCE constraint, some of which do not hinder propagation. W... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Soft constraints: Complexity and multimorphisms
收藏 引用
9th international conference on principles and practice of constraint programming, cp 2003
作者: Cohen, David A. Cooper, Martin Jeavons, Peter Krokhin, Andrei Department of Computer Science Royal Holloway University of London United Kingdom IRIT University of Toulouse III France Computing Laboratory University of Oxford United Kingdom Department of Computer Science University of Warwick United Kingdom
Over the past few years there has been considerable progress in methods to systematically analyse the complexity of classical (crisp) constraint satisfaction problems with specified constraint types. One very powerful... 详细信息
来源: 评论
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... 详细信息
来源: 评论
A scalable linear constraint solver for user interface construction  6th
收藏 引用
6th international conference on principles and practice of constraint programming, cp2000
作者: Hosobe, Hiroshi National Institute of Informatics 2-1-2 Hitotsubashi Chiyoda-kuTokyo101-8430 Japan
this paper proposes an algorithm for satisfying systems of linear equality and inequality constraints with hierarchical strengths or preferences. Basically, it is a numerical method that incrementally obtains the LU d... 详细信息
来源: 评论
the goldilocks problem  5th
收藏 引用
5th international conference on principles and practice of constraint programming, cp 1999
作者: Hulubei, Tudor Freuder, Eugene C. Department of Computer Science University of New Hampshire DurhamNH03824 United States
A lot of workin constraint satisfaction has been focused on finding solutions to difficult problems. Many real life problems however, while not extremely complicated, have a huge number of solutions, few of which are ... 详细信息
来源: 评论