咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是1-10 订阅
排序:
Breaking Symmetries with RootClique and LexTopSort  26th
Breaking Symmetries with RootClique and LexTopSort
收藏 引用
26th international conference on principles and practice of constraint programming, cp 2020
作者: Fichte, Johannes K. Hecher, Markus Szeider, Stefan School of Engineering Sciences TU Dresden Dresden Germany Database and Artificial Intelligence Group TU Wien Vienna Austria Algorithms and Complexity Group TU Wien Vienna Austria
Bounded fractional hypertree width is the most general known structural property that guarantees polynomial-time solvability of the constraint satisfaction problem. Fichte et al. (cp 2018) presented a robust and ... 详细信息
来源: 评论
17th international conference on principles and practice of constraint programming, cp 2011
17th International Conference on Principles and Practice of ...
收藏 引用
17th international conference on principles and practice of constraint programming, cp 2011
the proceedings contain 61 papers. the special focus in this conference is on principles and practice of constraint programming. the topics include: Neuron constraints to model complex real-world problems;A constraint...
来源: 评论
Integration of Structural constraints into TSP Models  25th
Integration of Structural Constraints into TSP Models
收藏 引用
25th international conference on the principles and practice of constraint programming (cp)
作者: Isoart, Nicolas Regin, Jean-Charles Univ Cote Azur CNRS I3S Sophia Antipolis France
Several models based on constraint programming have been proposed to solve the traveling salesman problem (TSP). the most efficient ones, such as the weighted circuit constraint (WCC), mainly rely on the Lagrangian re... 详细信息
来源: 评论
Augmenting Stream constraint programming with Eventuality Conditions  1
收藏 引用
24th international conference on the principles and practice of constraint programming (cp)
作者: Lee, Jasper C. H. Lee, Jimmy H. M. Zhong, Allen Z. Brown Univ Dept Comp Sci Providence RI 02912 USA Chinese Univ Hong Kong Dept Comp Sci & Engn Shatin Hong Kong Peoples R China
Stream constraint programming is a recent addition to the family of constraint programming frameworks, where variable domains are sets of infinite streams over finite alphabets. Previous works showed promising results... 详细信息
来源: 评论
Generalized support and formal development of constraint propagators
收藏 引用
AI COMMUNICATIONS 2017年 第5期30卷 325-346页
作者: Caldwell, James Gent, Ian P. Nightingale, Peter Univ Wyoming Dept Comp Sci 1000 E Univ Ave Laramie WY 82071 USA Univ St Andrews Sch Comp Sci St Andrews KY16 9SX Fife Scotland
constraint programming is a family of techniques for solving combinatorial problems, where the problem is modelled as a set of decision variables (typically with finite domains) and a set of constraints that express r... 详细信息
来源: 评论
Rotation-Based Formulation for Stable Matching  23rd
Rotation-Based Formulation for Stable Matching
收藏 引用
33rd international conference on Logic programming / 23rd international conference on principles and practice of constraint programming (cp) / 20th international conference on theory and Applications of Satisfiability Testing (SAT)
作者: Siala, Mohamed O'Sullivan, Barry Univ Coll Cork Insight Ctr Data Analyt Dept Comp Sci Cork Ireland
We introduce new cp models for the many-to-many stable matching problem. We use the notion of rotation to give a novel encoding that is linear in the input size of the problem. We give extra filtering rules to maintai... 详细信息
来源: 评论
NECESSARY CONDITIONS FOR TRACTABILITY OF VALUED CSPs
收藏 引用
SIAM JOURNAL ON DISCRETE MAthEMATICS 2015年 第4期29卷 2361-2384页
作者: thapper, Johan Zivny, Stanislav Univ Paris Est F-77454 Paris France Univ Oxford Dept Comp Sci Oxford OX1 3QD England
the connection between constraint languages and clone theory has been a fruitful line of research on the complexity of constraint satisfaction problems. In a recent result, Cohen et al. [SIAM J. Comput., 42 (2013), pp... 详细信息
来源: 评论
principles and practice of constraint programming, cp 2011 - 17th international conference, Proceedings
Principles and Practice of Constraint Programming, CP 2011 -...
收藏 引用
17th international conference on principles and practice of constraint programming, cp 2011
the proceedings contain 59 papers. the topics discussed include: orchestrating satisfiability engines;operations research and constraint programming at Google;a constraint seeker: finding and ranking global constraint...
来源: 评论
Linking Prefixes and Suffixes for constraints Encoded Using Automata with Accumulators
Linking Prefixes and Suffixes for Constraints Encoded Using ...
收藏 引用
20th international conference on the principles and practice of constraint programming (cp)
作者: Beldiceanu, Nicolas Carlsson, Mats Flener, Pierre Rodriguez, Maria Andreina Francisco Pearson, Justin CNRS INRIA TASC Team Mines Nantes F-44307 Nantes France SICS Kista 16429 Sweden Uppsala Univ Dept Informat Technol Uppsala 75105 Sweden
Consider a constraint on a sequence of variables functionally determining a result variable that is unchanged under reversal of the sequence. Most such constraints have a compact encoding via an automaton augmented wi... 详细信息
来源: 评论
Solving Intensional Weighted CSPs by Incremental Optimization with BDDs
Solving Intensional Weighted CSPs by Incremental Optimizatio...
收藏 引用
20th international conference on the principles and practice of constraint programming (cp)
作者: Bofill, Miquel Palahi, Miquel Suy, Josep Villaret, Mateu Univ Girona Dept Informat Matemat Aplicada & Estat Girona Spain
We present a method for solving weighted constraint Satisfaction Problems, based on translation into a constraint Optimization Problem and iterative calls to an SMT solver, with successively tighter bounds of the obje... 详细信息
来源: 评论