咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是111-120 订阅
排序:
An interval constraint programming approach for quasi capture tube validation  27
An interval constraint programming approach for quasi captur...
收藏 引用
27th international conference on principles and practice of constraint programming, CP 2021
作者: Bedouhene, Abderahmane Neveu, Bertrand Trombettoni, Gilles Jaulin, Luc Le Menec, Stéphane LIGM Ecole des Ponts ParisTech Université Gustave Eiffel CNRS Marne-la-Vallée France LIRMM Université de Montpellier CNRS France Lab-STICC ENSTA-Bretagne Brest France MBDA Le Plessis Robinson France
Proving that the state of a controlled nonlinear system always stays inside a time moving bubble (or capture tube) amounts to proving the inconsistency of a set of nonlinear inequalities in the time-state space. In pr... 详细信息
来源: 评论
Scheduling the Equipment Maintenance of an Electric Power Transmission Network Using constraint programming  28
Scheduling the Equipment Maintenance of an Electric Power Tr...
收藏 引用
28th international conference on principles and practice of constraint programming, CP 2022
作者: Popovic, Louis Côté, Alain Gaha, Mohamed Nguewouo, Franklin Cappart, Quentin Computer Engineering and Software Engineering Department Polytechnique Montréal Canada IREQ Varennes Canada Hydro-Québec Canada
Modern electrical power utilities must maintain their electrical equipment and replace it when the end of its useful life arrives. the Transmission Maintenance Scheduling (TMS) problem consists in generating an annual... 详细信息
来源: 评论
On Relation Between constraint Propagation and Block-Coordinate Descent in Linear Programs  26th
On Relation Between Constraint Propagation and Block-Coordin...
收藏 引用
26th international conference on principles and practice of constraint programming, CP 2020
作者: Dlask, Tomáš Werner, Tomáš Faculty of Electrical Engineering Czech Technical University in Prague Prague Czech Republic
Block-coordinate descent (BCD) is a popular method in large-scale optimization. Unfortunately, its fixed points are not global optima even for convex problems. A succinct characterization of convex problems optimally ... 详细信息
来源: 评论
Bounding Linear Programs by constraint Propagation: Application to Max-SAT  26th
Bounding Linear Programs by Constraint Propagation: Applicat...
收藏 引用
26th international conference on principles and practice of constraint programming, CP 2020
作者: Dlask, Tomáš Werner, Tomáš Faculty of Electrical Engineering Czech Technical University in Prague Prague Czech Republic
the Virtual Arc Consistency (VAC) algorithm by Cooper et al. is a soft local consistency technique that computes, in linear space, a bound on the basic LP relaxation of the Weighted CSP (WCSP). We generalize this tech... 详细信息
来源: 评论
Computer Science principles: Impacting Student Motivation & Learning Within and Beyond the Classroom  16
Computer Science Principles: Impacting Student Motivation & ...
收藏 引用
12th ACM annual conference on international Computing Education Research (ICER)
作者: Behnke, Kara A. Kos, Brittany Ann Bennett, John K. Univ Colorado ATLAS Inst 1125 18th St320 UCB Boulder CO 80309 USA Univ Denver inWorks 1380 Lawrence StSuite 1400 Denver CO 80204 USA
the Computer Science (CS) principles framework seeks to broaden student participation and diversity in the field by focusing on the creative and social aspects of computing. As the pilot effort undergoes its early exe... 详细信息
来源: 评论
the semigroups of order 10
The semigroups of order 10
收藏 引用
18th international conference on principles and practice of constraint programming, CP 2012
作者: Distler, Andreas Jefferson, Chris Kelsey, Tom Kotthoff, Lars Centro de Álgebra Universidade de Lisboa Lisboa 1649-003 Portugal School of Computer Science University of St. Andrews KY16 9SX United Kingdom
the number of finite semigroups increases rapidly with the number of elements. Since existing counting formulae do not give the complete number of semigroups of given order up to equivalence, the remainder can only be... 详细信息
来源: 评论
Deep Learning for the Generation of Heuristics in Answer Set programming: A Case Study of Graph Coloring  16th
Deep Learning for the Generation of Heuristics in Answer Set...
收藏 引用
16th international conference on Logic programming and Non-Monotonic Reasoning (LPNMR)
作者: Dodaro, Carmine Ilardi, Davide Oneto, Luca Ricca, Francesco Univ Calabria DeMaCS Arcavacata Di Rende Italy Univ Genoa DIBRIS Genoa Italy
Answer Set programming (ASP) is a well-established declarative AI formalism for knowledge representation and reasoning. ASP systems were successfully applied to both industrial and academic problems. Nonetheless, thei... 详细信息
来源: 评论
the weighted average constraint
The weighted average constraint
收藏 引用
18th international conference on principles and practice of constraint programming, CP 2012
作者: Bonfietti, Alessio Lombardi, Michele DEIS University of Bologna Italy
Weighted average expressions frequently appear in the context of allocation problems with balancing based constraints. In combinatorial optimization they are typically avoided by exploiting problems specificities or b... 详细信息
来源: 评论
Design research for participatory policies: Paradoxes, themes, Futures  20
Design research for participatory policies: Paradoxes, Theme...
收藏 引用
16th Participatory Design conference: Participation(s) Otherwise, PDC 2020
作者: Devan Shah, Ashni Gonçalves, Milene Mulder, Ingrid Faculty of Industrial Design Engineering Delft University of Technology Delft South Holland Netherlands
In keeping with the participatory turn, the current work discusses how a double-layered design approach can bring participatory design principles to the policy domain, illustrated by our experiences in a design projec... 详细信息
来源: 评论
Bounds on Weighted CSPs using constraint propagation and super-reparametrizations  27
Bounds on Weighted CSPs using constraint propagation and sup...
收藏 引用
27th international conference on principles and practice of constraint programming, CP 2021
作者: Dlask, Tomáš Werner, Tomáš De Givry, Simon Faculty of Electrical Engineering Czech Technical University in Prague Czech Republic Université Fédérale de Toulouse ANITI INRAE UR 875 France
We propose a framework for computing upper bounds on the optimal value of the (maximization version of) Weighted CSP (WCSP) using super-reparametrizations, which are changes of the weights that keep or increase the WC... 详细信息
来源: 评论