咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是121-130 订阅
排序:
Quantum-Accelerated Global constraint Filtering  26th
Quantum-Accelerated Global Constraint Filtering
收藏 引用
26th international conference on principles and practice of constraint programming, CP 2020
作者: Booth, Kyle E. C. O’Gorman, Bryan Marshall, Jeffrey Hadfield, Stuart Rieffel, Eleanor NASA Ames Research Center Moffett Field CA94035 United States Mountain ViewCA94043 United States University of California BerkeleyCA94720 United States
Motivated by recent advances in quantum algorithms and gate-model quantum computation, we introduce quantum-accelerated filtering algorithms for global constraints in constraint programming. We adapt recent work in qu... 详细信息
来源: 评论
Automatically improving constraint models in savile row through associative-commutative common subexpression elimination
Automatically improving constraint models in savile row thro...
收藏 引用
20th international conference on the principles and practice of constraint programming, CP 2014
作者: Nightingale, Peter Akgün, Özgür Gent, Ian P. Jefferson, Christopher Miguel, Ian School of Computer Science University of St. Andrews St.-Andrews Fife-KY16 9SX United Kingdom
When solving a problem using constraint programming, constraint modelling is widely acknowledged as an important and difficult task. Even a constraint modelling expert may explore many models and spend considerable ti... 详细信息
来源: 评论
Automatic generation of declarative models for differential cryptanalysis  27
Automatic generation of declarative models for differential ...
收藏 引用
27th international conference on principles and practice of constraint programming, CP 2021
作者: Libralesso, Luc Delobel, François Lafourcade, Pascal Solnon, Christine LIMOS CNRS UMR 6158 University Clermont Auvergne Aubière France INSA Lyon CITI INRIA CHROMA VilleurbanneF-69621 France
When designing a new symmetric block cipher, it is necessary to evaluate its robustness against differential attacks. this is done by computing Truncated Differential Characteristics (TDCs) that provide bounds on the ... 详细信息
来源: 评论
Using constraint programming to Generate Benzenoid Structures in theoretical Chemistry  26th
Using Constraint Programming to Generate Benzenoid Structure...
收藏 引用
26th international conference on principles and practice of constraint programming, CP 2020
作者: Carissan, Yannick 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 and have a lot of co... 详细信息
来源: 评论
A collection of constraint programming models for the three-dimensional stable matching problem with cyclic preferences  27
A collection of constraint programming models for the three-...
收藏 引用
27th international conference on principles and practice of constraint programming, CP 2021
作者: Cseh, Ágnes Escamocher, Guillaume Genç, Begüm Quesada, Luis Hasso-Plattner-Institute Universität Potsdam Germany Institute of Economics Centre for Economic and Regional Studies Pécs Hungary Insight Centre for Data Analytics School of Computer Science and Information Technology University College Cork Ireland
We introduce five constraint models for the 3-dimensional stable matching problem with cyclic preferences and study their relative performances under diverse configurations. While several constraint models have been p... 详细信息
来源: 评论
Arc consistency for soft constraints  6th
收藏 引用
6th international conference on principles and practice of constraint programming, CP2000
作者: Schiex, thomas INRA Toulouse France
Traditionally, local consistency is defined as a relaxation of consistency which can be checked in polynomial time. It is accompanied by a corresponding "filtering" or "enforcing" algorithm that co... 详细信息
来源: 评论
A Two-Phase constraint programming Model for Examination Timetabling at University College Cork  26th
A Two-Phase Constraint Programming Model for Examination Tim...
收藏 引用
26th international conference on principles and practice of constraint programming, CP 2020
作者: Genc, Begum O’Sullivan, Barry Confirm Centre for Smart Manufacturing School of Computer Science and Information Technology University College Cork Cork Ireland Insight Centre for Data Analytics School of Computer Science and Information Technology University College Cork Cork Ireland
Examination timetabling is a widely studied NP-hard problem. An additional challenge to the complexity of the problem are many real-world requirements that can often prevent the relaxation of some constraints. We repo... 详细信息
来源: 评论
Research on Target Cost Control of Construction Project based on Goal programming
Research on Target Cost Control of Construction Project base...
收藏 引用
2009 IEEE 16th international conference on Industrial Engineering and Engineering Management(IEEE第16届工业工程与工程管理国际学术会议)
作者: H.Zhao G.He School of Management Shenyang University of TechnologyShenyangP.R.China
Target cost control of construction projects is an important part of project management,and it plays a crucial role on the benefit of construction projects. In this paper,the issue about target cost control on the ... 详细信息
来源: 评论
A time-space trade-off for constraint networks decomposition
A time-space trade-off for constraint networks decomposition
收藏 引用
international conference on Tools for Artificial Intelligence (ICTAI)
作者: P. Jegou C. Terrioux LSIS Université Aix Marseille 3 Marseilles France
We study here a CSP decomposition method introduced in [P. Jegou (1990)] and called cyclic-clustering. While [P. Jegou (1990)] only presents the principles of the method, this work explains how this method can be made... 详细信息
来源: 评论
Exploiting multidirectionality in coarse-grained arc consistency algorithms
收藏 引用
9th international conference on principles and practice of constraint programming, CP 2003
作者: Lecoutre, Christophe Boussemart, Frédéric Hemery, Fred CNRS FRE 2499 Rue de l’université SP 16 Lens cedex62307 France
Arc consistency plays a central role in solving constraint Satisfaction Problems. this is the reason why many algorithms have been proposed to establish it. Recently, an algorithm called AC2001 and AC3.1 has been inde... 详细信息
来源: 评论