咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是41-50 订阅
排序:
From Model-Checking to Temporal Logic constraint Solving
From Model-Checking to Temporal Logic Constraint Solving
收藏 引用
15th international conference on principles and practice of constraint programming (cp 2009)
作者: Fages, Francois Rizk, Aurelien INRIA Paris Rocquencourt EPI Contraintes F-78153 Le Chesnay France
In this paper, we show how model-checking can be generalized to temporal logic constraint solving, by considering temporal logic formulae with free variables over some domain D, and by computing a validity domain for ... 详细信息
来源: 评论
Connecting ABT with Arc Consistency
收藏 引用
14th international conference on principles and practice of constraint programming (cp 2008)
作者: Brito, Ismel Meseguer, Pedro CSIC IIIA Bellaterra 09193 Spain
ABT is the reference algorithm for asynchronous distributed constraint satisfaction. When searching, ABT produces nogoods as justifications of deleted values. When one of such nogoods has an empty left-hand side, the ... 详细信息
来源: 评论
Distributed constraint-based local search
Distributed constraint-based local search
收藏 引用
12th international conference on principles and practice of constraint programming (cp 2006)
作者: Michel, Laurent See, Andrew Van Hentenryck, Pascal Univ Connecticut Storrs CT 06269 USA Brown Univ Providence RI 02912 USA
Distributed computing is increasingly important at a time when the doubling of the number of transistors on a processor every 18 months no longer translates in a doubling of speed but instead a doubling of the number ... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
constraint reasoning over strings
收藏 引用
9th international conference on principles and practice of constraint programming
作者: Golden, K Pang, WL NASA Ames Res Ctr Computat Sci Div Moffett Field CA 94035 USA NASA Ames Res Ctr QSS Grp Inc Moffett Field CA 94035 USA
this paper discusses an approach to representing and reasoning about constraints over strings. We discuss how string domains can often be concisely represented using regular languages, and how constraints over strings... 详细信息
来源: 评论
principles and practice of constraint programmingcp2001: 7th international conference, cp 2001 Paphos, Cyprus, november 26 – december 1, 2001 proceedings  7
收藏 引用
7th international conference on principles and practice of constraint programming, cp 2001
作者: Walsh, Toby The University of York Department of Computer Science Heslington York United Kingdom
来源: 评论
principles and practice of constraint programming--cp 2001 : 7th international conference, cp 2001,
收藏 引用
2001年
作者: cp 2001
来源: 内蒙古大学图书馆图书 评论
Secure distributed constraint satisfaction: Reaching agreement without revealing private information  8th
收藏 引用
8th international conference on principles and practice of constraint programming, cp 2002
作者: Yokoo, Makoto Suzuki, Koutarou Hirayama, Katsutoshi NTT Communication Science Laboratories NTT Corporation 2-4 Hikaridai Seika-choKyoto619-0237 Japan NTT Information Sharing Platform Laboratories NTT Corporation 1-1 Hikari-no-oka YokosukaKanagawa239-0847 Japan Kobe University of Mercantile Marine 5-1-1 Fukae-minami-machi Higashinada-ku Kobe658-0022 Japan
this paper develops a secure distributed constraint Satisfaction algorithm. A Distributed constraint Satisfaction Problem (DisCSP) is a CSP in which variables and constraints are distributed among multiple agents. A m... 详细信息
来源: 评论
Sweep as a generic pruning technique applied to the non-overlapping rectangles constraint  7
收藏 引用
7th international conference on principles and practice of constraint programming, cp 2001
作者: Beldiceanu, Nicolas Carlsson, Mats SICS Lägerhyddsv. 18 UppsalaSE-752 37 Sweden
We first present a generic pruning technique which aggregates several constraints sharing some variables. the method is derived from an idea called sweep which is extensively used in computational geometry. A first be... 详细信息
来源: 评论