咨询与建议

限定检索结果

文献类型

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

馆藏范围

  • 133 篇 电子文献
  • 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 篇 scheduling
  • 2 篇 modeling languag...
  • 2 篇 symmetry
  • 2 篇 constrained opti...
  • 2 篇 logic programmin...
  • 2 篇 global constrain...
  • 2 篇 simplex method
  • 2 篇 combinatorial op...
  • 2 篇 answer set progr...
  • 1 篇 object oriented ...
  • 1 篇 bandit

机构

  • 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

语言

  • 133 篇 英文
检索条件"任意字段=16th Annual International Conference on the Principles and Practice of Constraint Programming"
133 条 记 录,以下是111-120 订阅
排序:
Resource Planning and Packet Forwarding for Next-generation Multi-hop Wireless Mesh Networks
Resource Planning and Packet Forwarding for Next-generation ...
收藏 引用
international conference on Computer Communications and Networks (ICCCN)
作者: Ting-Yu Lin Kang-Lun Fan Department of Communication Engineering National Chiao Tung University Taiwan
Most earlier works in the area of wireless mesh network assume a single interface being equipped in each node. In this paper, we consider the next-generation wireless mesh networks in which each node may be equipped w... 详细信息
来源: 评论
TURTLE++ –a CIP-library for C++  16th
收藏 引用
16th international conference on Applications of Declarative programming and Knowledge Management, INAP 2005
作者: Hofstedt, Petra Krzikalla, Olaf Technical University of Berlin
this article introduces the turtle++ library which combines constraint-based and imperative paradigms and enables in this way constraint imperative programming (CIP) with c++. Integrating CIP into c++ allows to exploi... 详细信息
来源: 评论
Symmetry definitions for constraint satisfaction problems
收藏 引用
constraintS 2006年 第2-3期11卷 115-137页
作者: 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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Two contributions of constraint programming to machine learning
收藏 引用
16th European conference on Machine Learning (ECML)/9th European conference on principles and practice of Knowledge Discovery in Databases (PKDD)
作者: Lallouet, A Legtchenko, A Univ Orleans LIFO F-45067 Orleans France
A constraint is a relation with an active behavior. For a given relation, we propose to learn a representation adapted to this active behavior. It yields two contributions. the first is a generic metatechnique for cla... 详细信息
来源: 评论
A SAT-based version space algorithm for acquiring constraint satisfaction problems
收藏 引用
16th European conference on Machine Learning (ECML)/9th European conference on principles and practice of Knowledge Discovery in Databases (PKDD)
作者: Bessiere, C Coletta, R Koriche, F O'Sullivan, B Univ Montpellier CNRS LIRMM F-34059 Montpellier France Natl Univ Ireland Univ Coll Cork Cork Constraint Computat Ctr Cork Ireland
constraint programming is rapidly becoming the technology of choice for modelling and solving complex combinatorial problems. However, users of this technology need significant expertise in order to model their proble... 详细信息
来源: 评论
Consistency for quantified constraint satisfaction problems
收藏 引用
11th international conference on principles and practice of constraint programming (CP 2005)
作者: Nightingale, P Univ St Andrews Sch Comp Sci St Andrews KY16 9SX Fife Scotland
the generalization of the constraint satisfaction problem with universal quantifiers is a challenging PSPACE-complete problem, which is interesting theoretically and also relevant to solving other PSPACE problems aris... 详细信息
来源: 评论
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 ... 详细信息
来源: 评论
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 ... 详细信息
来源: 评论
Methods to learn abstract scheduling models
收藏 引用
11th international conference on principles and practice of constraint programming - CP 2005
作者: Carchrae, Tom Beck, J. Christopher Freuder, Eugene C. Cork Constraint Computation Center University College Cork Ireland
For practical reasons, most scheduling problems are an abstraction of the real problem being solved. For example, when you plan your day, you schedule the activities which are critical;that is you schedule the activit... 详细信息
来源: 评论