咨询与建议

限定检索结果

文献类型

  • 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... 详细信息
来源: 评论
constraint-Based Software Diversification for Efficient Mitigation of Code-Reuse Attacks  26th
Constraint-Based Software Diversification for Efficient Miti...
收藏 引用
26th international conference on principles and practice of constraint programming, cp 2020
作者: Tsoupidi, Rodothea Myrsini Castañeda Lozano, Roberto Baudry, Benoit KTH Royal Institute of Technology Stockholm Sweden University of Edinburgh Edinburgh United Kingdom
Modern software deployment process produces software that is uniform, and hence vulnerable to large-scale code-reuse attacks. Compiler-based diversification improves the resilience and security of software systems by ... 详细信息
来源: 评论
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... 详细信息
来源: 评论
constraint programming-Based Job Dispatching for Modern HPC Applications  25th
Constraint Programming-Based Job Dispatching for Modern HPC ...
收藏 引用
25th international conference on the principles and practice of constraint programming (cp)
作者: Galleguillos, Cristian Kiziltan, Zeynep Sirbu, Alina Babaoglu, Ozalp Pontificia Univ Catolica Valparaiso Valparaiso Chile Univ Bologna Bologna Italy Univ Pisa Pisa Italy
HPC systems are increasingly being used for big data analytics and predictive model building that employ many short jobs. In these application scenarios, HPC job dispatchers need to process large numbers of short jobs... 详细信息
来源: 评论
A Circuit constraint for Multiple Tours Problems  1
收藏 引用
24th international conference on the principles and practice of constraint programming (cp)
作者: Vismara, Philippe Briot, Nicolas Univ Montpellier CNRS LIRMM Montpellier France Univ Montpellier INRA Montpellier SupAgro MISTEA Montpellier France
Routing problems appear in many practical applications. In the context of constraint programming, circuit constraints have been successfully developed to handle problems like the well-known Traveling Salesman Problem ... 详细信息
来源: 评论
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... 详细信息
来源: 评论
the SeqBin constraint revisited
The SeqBin constraint revisited
收藏 引用
18th international conference on principles and practice of constraint programming, cp 2012
作者: Katsirelos, George Narodytska, Nina Walsh, Toby UBIA INRA Toulouse France NICTA UNSW Sydney Australia
We revisit the SeqBin constraint [1]. this meta-constraint subsumes a number of important global constraints like Change [2], Smooth [3] and IncreasingNValue [4]. We show that the previously proposed filtering algorit... 详细信息
来源: 评论
Test case generation for object-oriented imperative languages in CLP
Test case generation for object-oriented imperative language...
收藏 引用
26th international conference on Logic programming (ICLP)
作者: Gomez-Zamalloa, Miguel Albert, Elvira Puebla, German Univ Complutense Madrid DSIC E-28040 Madrid Spain Tech Univ Madrid UPM DLSIIS E-28660 Madrid Spain
Testing is a vital part of the software development process. Test Case Generation (TCG) is the process of automatically generating a collection of test-cases which are applied to a system under test. White-box TCG is ... 详细信息
来源: 评论