咨询与建议

限定检索结果

文献类型

  • 49 篇 会议
  • 2 册 图书

馆藏范围

  • 50 篇 电子文献
  • 1 种 纸本馆藏

日期分布

学科分类号

  • 43 篇 工学
    • 43 篇 计算机科学与技术...
    • 36 篇 软件工程
    • 2 篇 材料科学与工程(可...
    • 2 篇 信息与通信工程
    • 1 篇 机械工程
    • 1 篇 电气工程
    • 1 篇 控制科学与工程
    • 1 篇 建筑学
    • 1 篇 土木工程
    • 1 篇 化学工程与技术
    • 1 篇 交通运输工程
  • 36 篇 理学
    • 26 篇 系统科学
    • 21 篇 数学
    • 4 篇 物理学
    • 2 篇 统计学(可授理学、...
    • 1 篇 化学
  • 4 篇 管理学
    • 4 篇 管理科学与工程(可...
    • 3 篇 工商管理
  • 2 篇 法学
    • 2 篇 社会学

主题

  • 10 篇 constraint theor...
  • 7 篇 constraint satis...
  • 4 篇 constraint progr...
  • 2 篇 modeling languag...
  • 2 篇 model checking
  • 2 篇 linear programmi...
  • 2 篇 constraint progr...
  • 1 篇 constraint logic...
  • 1 篇 structural prope...
  • 1 篇 international
  • 1 篇 reinforcement le...
  • 1 篇 bounded model ch...
  • 1 篇 probability dist...
  • 1 篇 soft neighborhoo...
  • 1 篇 test case genera...
  • 1 篇 redundancy
  • 1 篇 embedded systems
  • 1 篇 computational ge...
  • 1 篇 iterative method...
  • 1 篇 conference,

机构

  • 2 篇 dtai ku leuven
  • 2 篇 lund university ...
  • 2 篇 university of ed...
  • 2 篇 aix marseille un...
  • 2 篇 aix marseille un...
  • 2 篇 monash universit...
  • 2 篇 faculty of elect...
  • 2 篇 ku leuven
  • 2 篇 university of co...
  • 1 篇 tech univ madrid...
  • 1 篇 computer and aut...
  • 1 篇 university of co...
  • 1 篇 algorithms and c...
  • 1 篇 pontificia univ ...
  • 1 篇 univ pisa pisa
  • 1 篇 visualization la...
  • 1 篇 univ bologna bol...
  • 1 篇 nicta unsw
  • 1 篇 aniti irit unive...
  • 1 篇 cnrs lirmm unive...

作者

  • 4 篇 stuckey peter j.
  • 4 篇 guns tias
  • 3 篇 devriendt jo
  • 2 篇 prcovic nicolas
  • 2 篇 terrioux cyril
  • 2 篇 werner tomáš
  • 2 篇 akgün özgür
  • 2 篇 hagebaum-reignie...
  • 2 篇 michel laurent
  • 2 篇 varet adrien
  • 2 篇 gange graeme
  • 2 篇 walsh toby
  • 2 篇 tsouros dimosthe...
  • 2 篇 dlask tomáš
  • 2 篇 carissan yannick
  • 2 篇 tsouros dimos
  • 1 篇 pearson justin
  • 1 篇 davidson ewan
  • 1 篇 solnon christine
  • 1 篇 briot nicolas

语言

  • 50 篇 英文
  • 1 篇 中文
检索条件"任意字段=26th International Conference on Principles and Practice of Constraint Programming, CP 2020"
51 条 记 录,以下是31-40 订阅
排序:
Perturbing Branching Heuristics in constraint Solving  26th
Perturbing Branching Heuristics in Constraint Solving
收藏 引用
26th international conference on principles and practice of constraint programming, cp 2020
作者: Paparrizou, Anastasia Wattez, Hugues CRIL University of Artois & CNRS Lens France
Variable ordering heuristics are one of the key settings for an efficient constraint solver. During the last two decades, a considerable effort has been spent for designing dynamic heuristics that iteratively change t... 详细信息
来源: 评论
Effective Encodings of constraint programming Models to SMT  26th
Effective Encodings of Constraint Programming Models to SMT
收藏 引用
26th international conference on principles and practice of constraint programming, cp 2020
作者: Davidson, Ewan Akgün, Özgür Espasa, Joan Nightingale, Peter School of Computer Science University of St Andrews St Andrews United Kingdom Department of Computer Science University of York York United Kingdom
Satisfiability Modulo theories (SMT) is a well-established methodology that generalises propositional satisfiability (SAT) by adding support for a variety of theories such as integer arithmetic and bit-vector operatio... 详细信息
来源: 评论
Visualizations to Summarize Search Behavior  26th
Visualizations to Summarize Search Behavior
收藏 引用
26th international conference on principles and practice of constraint programming, cp 2020
作者: Howell, Ian S. Choueiry, Berthe Y. Yu, Hongfeng Constraint Systems Laboratory University of Nebraska-Lincoln LincolnNE68508 United States Visualization Laboratory University of Nebraska-Lincoln LincolnNE68508 United States
In this paper, we argue that metrics that assess the performance of backtrack search for solving a constraint Satisfaction Problem should not be visualized and examined only at the end of search, but their evolution s... 详细信息
来源: 评论
Learning constraint programming Models from Data Using Generate-And-Aggregate  28
Learning Constraint Programming Models from Data Using Gener...
收藏 引用
28th international conference on principles and practice of constraint programming, cp 2022
作者: Kumar, Mohit Kolb, Samuel Guns, Tias KU Leuven Belgium
constraint programming (cp) is used widely for solving real-world problems. However, designing these models require substantial expertise. In this paper, we tackle this problem by synthesizing models automatically fro... 详细信息
来源: 评论
Dead-End Elimination for Weighted CSP
Dead-End Elimination for Weighted CSP
收藏 引用
19th Annual international conference on principles and practice of constraint programming (cp)
作者: de Givry, Simon Prestwich, Steven D. O'Sullivan, Barry INRA UR 875 MIA T F-31320 Castanet Tolosan France Univ Coll Cork Cork Constraint Computat Ctr Cork Ireland
Soft neighborhood substitutability (SNS) is a powerful technique to automatically detect and prune dominated solutions in combinatorial optimization. Recently, it has been shown in [26] that enforcing partial SNS (PSN... 详细信息
来源: 评论
Completable partial solutions in constraint programming and constraint-based scheduling
收藏 引用
10th international conference on the principles and practice of constraint programming
作者: Kovács, A Váncza, J Budapest University of Technology and Economics Magyar tudósok körútja 2/d Budapest1117 Hungary Computer and Automation Research Institute Kende utca 13-17 Budapest1111 Hungary
the paper introduces the notion of freely completable partial solutions to characterize constraint satisfaction problems that have components which are relatively easy to solve and are only loosely connected to the re... 详细信息
来源: 评论
Mutational Fuzz Testing for constraint Modeling Systems  30
Mutational Fuzz Testing for Constraint Modeling Systems
收藏 引用
30th international conference on principles and practice of constraint programming, cp 2024
作者: Vanroose, Wout Bleukx, Ignace Devriendt, Jo Tsouros, Dimos Verhaeghe, Hélène Guns, Tias DTAI KU Leuven Belgium
constraint programming (cp) modeling languages, like MiniZinc, Essence and cpMpy, play a crucial role in making cp technology accessible to non-experts. Both solver-independent modeling frameworks and solvers themselv... 详细信息
来源: 评论
constraint Modelling with LLMs Using In-Context Learning  30
Constraint Modelling with LLMs Using In-Context Learning
收藏 引用
30th international conference on principles and practice of constraint programming, cp 2024
作者: Michailidis, Kostis Tsouros, Dimos Guns, Tias DTAI KU Leuven Belgium
constraint programming (cp) allows for the modelling and solving of a wide range of combinatorial problems. However, modelling such problems using constraints over decision variables still requires significant experti... 详细信息
来源: 评论
Search heuristics and heavy-tailed behaviour
收藏 引用
11th international conference on principles and practice of constraint programming (cp 2005)
作者: Hulubei, T O'Sullivan, B Natl Univ Ireland Univ Coll Cork Cork Constraint Computat Ctr Dept Comp Sci Cork Ireland
the heavy-tailed phenomenon that characterises the runtime distributions of backtrack search procedures has received considerable attention over the past few years. Some have conjectured that heavy-tailed behaviour is... 详细信息
来源: 评论
Understanding How People Approach constraint Modelling and Solving  28
Understanding How People Approach Constraint Modelling and S...
收藏 引用
28th international conference on principles and practice of constraint programming, cp 2022
作者: Hoffmann, Ruth Zhu, Xu Akgün, Özgür Nacenta, Miguel A. School of Computer Science University of St Andrews United Kingdom Department of Computer Science University of Victoria Canada
Research in constraint programming typically focuses on problem solving efficiency. However, the way users conceptualise problems and communicate with constraint programming tools is often sidelined. How humans think ... 详细信息
来源: 评论