咨询与建议

限定检索结果

文献类型

  • 956 篇 会议
  • 51 篇 期刊文献
  • 19 册 图书

馆藏范围

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

日期分布

学科分类号

  • 853 篇 工学
    • 833 篇 计算机科学与技术...
    • 495 篇 软件工程
    • 41 篇 信息与通信工程
    • 27 篇 电气工程
    • 17 篇 控制科学与工程
    • 8 篇 机械工程
    • 7 篇 土木工程
    • 6 篇 建筑学
    • 6 篇 化学工程与技术
    • 5 篇 材料科学与工程(可...
    • 5 篇 农业工程
    • 4 篇 力学(可授工学、理...
    • 4 篇 交通运输工程
    • 4 篇 生物工程
    • 3 篇 冶金工程
    • 3 篇 动力工程及工程热...
    • 2 篇 电子科学与技术(可...
    • 2 篇 航空宇航科学与技...
  • 530 篇 理学
    • 422 篇 数学
    • 274 篇 系统科学
    • 18 篇 统计学(可授理学、...
    • 10 篇 物理学
    • 7 篇 生物学
    • 6 篇 化学
  • 62 篇 管理学
    • 54 篇 管理科学与工程(可...
    • 34 篇 工商管理
    • 10 篇 图书情报与档案管...
  • 7 篇 法学
    • 7 篇 社会学
  • 5 篇 经济学
    • 5 篇 应用经济学
  • 5 篇 农学
    • 5 篇 作物学
  • 1 篇 教育学
  • 1 篇 医学
  • 1 篇 军事学

主题

  • 198 篇 constraint theor...
  • 163 篇 constraint satis...
  • 62 篇 constraint progr...
  • 26 篇 constrained opti...
  • 25 篇 computer program...
  • 23 篇 integer programm...
  • 21 篇 answer set progr...
  • 15 篇 logic programmin...
  • 15 篇 artificial intel...
  • 15 篇 scheduling
  • 14 篇 mathematical log...
  • 14 篇 dynamic programm...
  • 13 篇 problem solving
  • 12 篇 linear programmi...
  • 11 篇 global constrain...
  • 11 篇 programming lang...
  • 11 篇 logics and meani...
  • 10 篇 modeling languag...
  • 9 篇 constraint satis...
  • 9 篇 combinatorial op...

机构

  • 18 篇 natl univ irelan...
  • 18 篇 brown univ provi...
  • 14 篇 univ connecticut...
  • 14 篇 cork constraint ...
  • 10 篇 cork constraint ...
  • 8 篇 univ oxford comp...
  • 7 篇 natl univ irelan...
  • 7 篇 natl univ irelan...
  • 7 篇 department of me...
  • 6 篇 nicta nsw
  • 6 篇 natl univ singap...
  • 6 篇 cork constraint ...
  • 6 篇 chinese univ hon...
  • 5 篇 161 rue ada mont...
  • 5 篇 cornell univ dep...
  • 5 篇 univ coll cork d...
  • 5 篇 univ st andrews ...
  • 5 篇 ben gurion univ ...
  • 5 篇 department of co...
  • 5 篇 univ coll cork c...

作者

  • 31 篇 stuckey peter j.
  • 28 篇 o'sullivan barry
  • 22 篇 van hentenryck p...
  • 20 篇 freuder eugene c...
  • 17 篇 walsh toby
  • 17 篇 quimper claude-g...
  • 15 篇 miguel ian
  • 15 篇 michel laurent
  • 15 篇 bessiere christi...
  • 14 篇 beldiceanu nicol...
  • 14 篇 schaus pierre
  • 14 篇 schulte christia...
  • 12 篇 smith barbara m.
  • 12 篇 hebrard emmanuel
  • 12 篇 pesant gilles
  • 11 篇 régin jean-charl...
  • 11 篇 beck j. christop...
  • 10 篇 hnich brahim
  • 10 篇 gent ian p.
  • 10 篇 rueher michel

语言

  • 1,023 篇 英文
  • 3 篇 中文
检索条件"任意字段=10th International Conference on the Principles and Practice of Constraint Programming"
1026 条 记 录,以下是361-370 订阅
排序:
principles of Declarative programming  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
this book constitutes the refereed proceedings of the 10th international Symposium on programming Languages, Implementations, Logics, and Programs, PLILP'98, held jointly with the 6th international conference on A... 详细信息
来源: 评论
constraint diagram reasoning  5th
收藏 引用
5th international conference on principles and practice of constraint programming (CP 99)
作者: Meyer, B Monash Univ Sch Comp Sci & Software Engn Clayton Vic 3168 Australia
Diagrammatic human-computer interfaces are now becoming standard. In the near future, diagrammatic front-ends, such as those of UML-based CASE tools, will be required to offer a much more intelligent behavior than jus... 详细信息
来源: 评论
constraints of Difference and Equality: A Complete Taxonomic Characterisation
Constraints of Difference and Equality: A Complete Taxonomic...
收藏 引用
15th international conference on principles and practice of constraint programming (CP 2009)
作者: Hebrard, Emmanuel Marx, Daniel O'Sullivan, Barry Razgon, Igor Natl Univ Ireland Univ Coll Cork Cork Constraint Computat Ctr Dept Comp Sci Cork Ireland Budapest Univ Technol & Econ Budapest Hungary
Many combinatorial problems encountered in practice involve constraints that require that a, set of variables take distinct or equal values. the ALLDIFFERENT constraint, in particular, ensures that;all variables take ... 详细信息
来源: 评论
Typed guarded decompositions for constraint satisfaction
Typed guarded decompositions for constraint satisfaction
收藏 引用
12th international conference on principles and practice of constraint programming (CP 2006)
作者: Cohen, David A. Green, Martin J. Univ London Royal Vet Coll Dept Comp Sci London England
the constraint satisfaction problem is in general NP-hard. As such, our aim is to identify tractable classes of constraint satisfaction problem instances (CSPs). Tractable classes of CSPs are normally described by lim... 详细信息
来源: 评论
Domain Consistency with Forbidden Values
Domain Consistency with Forbidden Values
收藏 引用
16th Annual international conference on the principles and practice of constraint programming
作者: Deville, Yves Van Hentenryck, Pascal Catholic Univ Louvain Louvain Belgium Brown Univ Providence RI 02912 USA
this paper presents a novel domain-consistency algorithm which does not maintain supports dynamically during propagation, but rather maintain forbidden values. It introduces the optimal NAC4 (negative AC4) algorithm b... 详细信息
来源: 评论
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 programming in Java - Proceedings of the 6th international conference, PPPJ 2008
Principles and Practice of Programming in Java - Proceedings...
收藏 引用
6th international conference on principles and practice of programming in Java, PPPJ 2008
the proceedings contain 19 papers. the topics discussed include: the JavaFest: a collaborative learning technique for Java programming courses;an experimental environment for teaching Java security;patterns and tracea...
来源: 评论
constraint-Based Program Reasoning with Heaps and Separation
Constraint-Based Program Reasoning with Heaps and Separation
收藏 引用
19th Annual international conference on principles and practice of constraint programming (CP)
作者: Duck, Gregory J. Jaffar, Joxan Koh, Nicolas C. H. Natl Univ Singapore Dept Comp Sci Singapore 117548 Singapore
this paper introduces a constraint language H for finite partial maps (a.k.a. heaps) that incorporates the notion of separation from Separation Logic. We use H to build an extension of Hoare Logic for reasoning over h... 详细信息
来源: 评论
On the Containment of Forbidden Patterns Problems
On the Containment of Forbidden Patterns Problems
收藏 引用
16th Annual international conference on the principles and practice of constraint programming
作者: Madelaine, Florent IUT Informat LIMOS CNRS UMR 6158 F-63172 Aubiere France
Forbidden patterns problems are a generalisation of (finite) constraint satisfaction problems which are definable in Feder and Vardi's logic MMSNP [1]. in fact, they are examples of infinite constraint satisfactio... 详细信息
来源: 评论
Distributed constraint-based railway simulation  9th
收藏 引用
9th international conference on principles and practice of constraint programming, CP 2003
作者: Schlenker, Hans Fraunhofer FIRST Kekuléstraße 7 Berlin Germany
来源: 评论