咨询与建议

限定检索结果

文献类型

  • 131 篇 会议
  • 3 册 图书
  • 2 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 118 篇 工学
    • 114 篇 计算机科学与技术...
    • 38 篇 软件工程
    • 4 篇 电气工程
    • 3 篇 信息与通信工程
    • 1 篇 力学(可授工学、理...
    • 1 篇 机械工程
    • 1 篇 材料科学与工程(可...
    • 1 篇 电子科学与技术(可...
    • 1 篇 控制科学与工程
    • 1 篇 土木工程
    • 1 篇 化学工程与技术
  • 68 篇 理学
    • 60 篇 数学
    • 21 篇 系统科学
    • 4 篇 物理学
    • 2 篇 统计学(可授理学、...
    • 1 篇 化学
  • 11 篇 管理学
    • 10 篇 管理科学与工程(可...
    • 7 篇 工商管理
    • 1 篇 图书情报与档案管...
  • 1 篇 教育学
    • 1 篇 教育学

主题

  • 26 篇 constraint theor...
  • 14 篇 constraint satis...
  • 9 篇 computer program...
  • 8 篇 constraint progr...
  • 6 篇 linear programmi...
  • 4 篇 integer programm...
  • 3 篇 target cost
  • 3 篇 problem solving
  • 3 篇 goal programming
  • 3 篇 mathematical log...
  • 3 篇 programming lang...
  • 3 篇 artificial intel...
  • 3 篇 logics and meani...
  • 3 篇 scheduling
  • 2 篇 software enginee...
  • 2 篇 modeling languag...
  • 2 篇 symmetry
  • 2 篇 constrained opti...
  • 2 篇 logic programmin...
  • 2 篇 global constrain...

机构

  • 3 篇 univ coll cork c...
  • 3 篇 univ st andrews ...
  • 3 篇 univ oxford comp...
  • 3 篇 natl univ irelan...
  • 3 篇 univ melbourne m...
  • 3 篇 brown univ provi...
  • 2 篇 univ st andrews ...
  • 2 篇 nicta nsw
  • 2 篇 insight centre f...
  • 2 篇 univ genoa dibri...
  • 2 篇 cork constraint ...
  • 2 篇 univ coll cork d...
  • 2 篇 univ london roya...
  • 2 篇 imdea software i...
  • 2 篇 aix marseille un...
  • 2 篇 aix marseille un...
  • 2 篇 univ coll cork c...
  • 2 篇 faculty of elect...
  • 2 篇 univ st andrews ...
  • 1 篇 ligm ecole des p...

作者

  • 6 篇 nightingale pete...
  • 6 篇 gent ian p.
  • 6 篇 o'sullivan barry
  • 5 篇 miguel ian
  • 5 篇 van hentenryck p...
  • 5 篇 jefferson christ...
  • 5 篇 quesada luis
  • 4 篇 kotthoff lars
  • 4 篇 bessiere christi...
  • 4 篇 de givry simon
  • 3 篇 stuckey peter j.
  • 3 篇 werner tomáš
  • 3 篇 jeavons peter
  • 3 篇 simonis helmut
  • 3 篇 lombardi michele
  • 3 篇 walsh toby
  • 3 篇 dlask tomáš
  • 3 篇 mehta deepak
  • 2 篇 pearson justin
  • 2 篇 solnon christine

语言

  • 136 篇 英文
检索条件"任意字段=16th Annual International Conference on the Principles and Practice of Constraint Programming"
136 条 记 录,以下是101-110 订阅
排序:
Ad-hoc global constraints for life
收藏 引用
11th international conference on principles and practice of constraint programming - CP 2005
作者: Cheng, Kenil C. K. Yap, Roland H. C. National University of Singapore 3 Science Drive 2 Singapore Singapore
Still-life is a challenging problem for CP techniques. We show how to use the global case constraint to construct ad-hoc constraints which can provide stronger propagation than existing CP models. We also demonstrate ... 详细信息
来源: 评论
constraint programming to Improve Hub Utilization in Autonomous Transfer Hub Networks  29
Constraint Programming to Improve Hub Utilization in Autonom...
收藏 引用
29th international conference on principles and practice of constraint programming, CP 2023
作者: Lee, Chungjae Boonbandansook, Wirattawut Akhlaghi, Vahid Eghbal Dalmeijer, Kevin Van Hentenryck, Pascal H. Milton Stewart School of Industrial and Systems Engineering Georgia Institute of Technology AtlantaGA United States
the Autonomous Transfer Hub Network (AthN) is one of the most promising ways to adapt self-driving trucks for the freight industry. these networks use autonomous trucks for the middle mile, while human drivers perform... 详细信息
来源: 评论
principles and practice of constraint programming – CP 2004  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Mark Wallace
the 10th international conference on the principles and practice of constraint programming (CP 2003) was held in Toronto, Canada, during September 27 – October 1, 2004. Information about the conference can be found o... 详细信息
来源: 评论
Symmetry definitions for constraint satisfaction problems
收藏 引用
11th international conference on principles and practice of constraint programming (CP 2005)
作者: Cohen, David Jeavons, Peter Jefferson, Christopher Petrie, Karen E. Smith, Barbara M. Natl Univ Ireland Univ Coll Cork Cork Constraint Computat Ctr Cork Ireland Univ London Royal Holloway Dept Comp Sci London England Univ Oxford Comp Lab Oxford OX1 3QD England Univ St Andrews Sch Comp Sci St Andrews KY16 9AJ Fife Scotland
We review the many different definitions of symmetry for constraint satisfaction problems (CSPs) that have appeared in the literature, and show that a symmetry can be defined in two fundamentally different ways: as an... 详细信息
来源: 评论
Neighborhood-based variable ordering heuristics for the constraint satisfaction problem  7
收藏 引用
7th international conference on principles and practice of constraint programming, CP 2001
作者: Bessière, Christian Chmeiss, Assef Saïs, Lakhdar 161 rue Ada Montpellier Cedex 534392 France CRIL - Université d’ Artois IUT de Lens Rue de l’université - SP 16 LENS Cedex62307 France
One of the key factors in the efficiency of backtracking algorithms is the rule they use to decide on which variable to branch next (namely, the variable ordering heuristics). In this paper, we give a formulation of d... 详细信息
来源: 评论
A constraint programming approach to the stable marriage problem  1
收藏 引用
7th international conference on principles and practice of constraint programming, CP 2001
作者: Gent, Ian P Irving, Robert W Manlove, David F Prosser, Patrick Smith, Barbara M School of Computer Science University of St. Andrews United Kingdom Department of Computing Science University of Glasgow United Kingdom School of Computing and Mathematics University of Huddersfield United Kingdom
the Stable Marriage problem (SM) is an extensively-studied combinatorial problem with many practical applications. In this paper we present two encodings of an instance I of SM as an instance J of a constraint Satisfa... 详细信息
来源: 评论
Software Development as an Experiment System: A Qualitative Survey on the State of the practice  16th
Software Development as an Experiment System: A Qualitative ...
收藏 引用
16th international conference on Agile Software Development (XP)
作者: Lindgren, Eveliina Munch, Jurgen Univ Helsinki Dept Comp Sci POB 68 FI-00014 Helsinki Finland
An experiment-driven approach to software product and service development is gaining increasing attention as a way to channel limited resources to the efficient creation of customer value. In this approach, software f... 详细信息
来源: 评论
Computing Relaxations for the three-Dimensional Stable Matching Problem with Cyclic Preferences  28
Computing Relaxations for the Three-Dimensional Stable Match...
收藏 引用
28th international conference on principles and practice of constraint programming, CP 2022
作者: Cseh, Ágnes Escamocher, Guillaume Quesada, Luis Institute of Economics Centre for Economic and Regional Studies Budapest Hungary Insight Centre for Data Analytics School of Computer Science and Information Technology University College Cork Ireland
constraint programming has proven to be a successful framework for determining whether a given instance of the three-dimensional stable matching problem with cyclic preferences (3dsm-cyc) admits a solution. If such an... 详细信息
来源: 评论
A constraint based agent for TAC-SCM
收藏 引用
11th international conference on principles and practice of constraint programming - CP 2005
作者: Burke, David A. Brown, Kenneth N. Cork Constraint Computation Centre Department of Computer Science University College Cork Ireland
the annual international Trading Agent Competition-Supply Chain Management (TAC-SCM) game is based around the manufacture and supply of PCs. there are multiple agents in the game, scheduling production, competing for ... 详细信息
来源: 评论
Computing the Local Aromaticity of Benzenoids thanks to constraint programming  26th
Computing the Local Aromaticity of Benzenoids Thanks to Con...
收藏 引用
26th international conference on principles and practice of constraint programming, CP 2020
作者: Carissan, Yannick Dim, Chisom-Adaobi Hagebaum-Reignier, Denis Prcovic, Nicolas Terrioux, Cyril Varet, Adrien Aix Marseille Univ CNRS Centrale Marseille ISM2 Marseille France Aix Marseille Univ Université de Toulon CNRS LIS Marseille France
Benzenoids are a subfamily of hydrocarbons (molecules that are only made of hydrogen and carbon atoms) whose carbon atoms form hexagons. these molecules are widely studied in theoretical chemistry. then, there is a lo... 详细信息
来源: 评论