咨询与建议

限定检索结果

文献类型

  • 1,005 篇 会议
  • 51 篇 期刊文献
  • 20 册 图书

馆藏范围

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

日期分布

学科分类号

  • 900 篇 工学
    • 876 篇 计算机科学与技术...
    • 526 篇 软件工程
    • 45 篇 信息与通信工程
    • 29 篇 电气工程
    • 22 篇 控制科学与工程
    • 10 篇 机械工程
    • 6 篇 建筑学
    • 6 篇 土木工程
    • 5 篇 力学(可授工学、理...
    • 5 篇 材料科学与工程(可...
    • 5 篇 化学工程与技术
    • 5 篇 交通运输工程
    • 5 篇 农业工程
    • 5 篇 生物工程
    • 4 篇 动力工程及工程热...
    • 3 篇 航空宇航科学与技...
    • 3 篇 环境科学与工程(可...
  • 551 篇 理学
    • 436 篇 数学
    • 283 篇 系统科学
    • 19 篇 统计学(可授理学、...
    • 11 篇 物理学
    • 8 篇 生物学
    • 5 篇 化学
  • 84 篇 管理学
    • 69 篇 管理科学与工程(可...
    • 44 篇 工商管理
    • 18 篇 图书情报与档案管...
  • 9 篇 法学
    • 9 篇 社会学
  • 7 篇 经济学
    • 7 篇 应用经济学
  • 5 篇 农学
    • 5 篇 作物学
  • 2 篇 教育学
    • 2 篇 教育学
  • 1 篇 军事学

主题

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

机构

  • 19 篇 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 篇 161 rue ada mont...
  • 6 篇 natl univ singap...
  • 6 篇 univ st andrews ...
  • 6 篇 cork constraint ...
  • 6 篇 chinese univ hon...
  • 5 篇 cornell univ dep...
  • 5 篇 univ coll cork d...
  • 5 篇 ben gurion univ ...
  • 5 篇 brown univ dept ...
  • 5 篇 department of co...

作者

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

语言

  • 1,073 篇 英文
  • 3 篇 中文
检索条件"任意字段=9th International Conference on Principles and Practice of Constraint Programming"
1076 条 记 录,以下是171-180 订阅
排序:
A DSL for writing type Systems for Xtext Languages  11
A DSL for writing type Systems for Xtext Languages
收藏 引用
9th international conference on principles and practice of programming in Java, PPPJ 2011
作者: Bettini, Lorenzo Dipartimento di Informatica Università di Torino Corso Svizzera 185 10149 Torino Italy
Xtext is a framework for the development of languages, which also generates all the typical and recurrent artifacts for a fully-fledged IDE on top of Eclipse. the validation (e.g., checking the correctness of programs... 详细信息
来源: 评论
Conjunctions of Among constraints  23rd
Conjunctions of Among Constraints
收藏 引用
33rd international conference on Logic programming / 23rd international conference on principles and practice of constraint programming (CP) / 20th international conference on theory and Applications of Satisfiability Testing (SAT)
作者: Dalmau, Victor Univ Pompeu Fabra Dept Informat & Commun Technol Barcelona Spain
Many existing global constraints can be encoded as a conjunction of among constraints. An among constraint holds if the number of the variables in its scope whose value belongs to a prespecified set, which we call its... 详细信息
来源: 评论
Cost-Driven Interactive CSP with constraint Relaxation
Cost-Driven Interactive CSP with Constraint Relaxation
收藏 引用
15th international conference on principles and practice of constraint programming (CP 2009)
作者: Schreiber, Yevgeny Intel Corp Haifa Israel
We revisit the Interactive CSP framework (ICSP) and propose a, new: somewhat more general model, which we call Cost-Driven Interactive CSP (CICSP). First, we extend the value acquisition by a more general concept of c... 详细信息
来源: 评论
constraint programming for Multi-criteria Conceptual Clustering  23rd
Constraint Programming for Multi-criteria Conceptual Cluster...
收藏 引用
33rd international conference on Logic programming / 23rd international conference on principles and practice of constraint programming (CP) / 20th international conference on theory and Applications of Satisfiability Testing (SAT)
作者: Chabert, Maxime Solnon, Christine Univ Lyon INSA Lyon LIRIS F-69622 Villeurbanne France Infologic Bourg Les Valence France
A conceptual clustering is a set of formal concepts (i.e., closed itemsets) that defines a partition of a set of transactions. Finding a conceptual clustering is an NP-complete problem for which constraint programming... 详细信息
来源: 评论
Encoding Linear constraints into SAT
Encoding Linear Constraints into SAT
收藏 引用
20th international conference on the principles and practice of constraint programming (CP)
作者: Abio, Ignasi Stuckey, Peter J. NICTA Victoria Lab Melbourne Vic Australia
Linear integer constraints are one of the most important constraints in combinatorial problems since they are commonly found in many practical applications. Typically, encoding linear constraints to SAT performs poorl... 详细信息
来源: 评论
Context-Sensitive Call Control Using constraints and Rules
Context-Sensitive Call Control Using Constraints and Rules
收藏 引用
16th Annual international conference on the principles and practice of constraint programming
作者: Lesaint, David Mehta, Deepak O'Sullivan, Barry Quesada, Luis Wilson, Nic BT Research and Technology BT United Kingdom Cork Constraint Computation Centre University College Cork Ireland
Personalisation and context-awareness are fundamental concerns in Telephony. this paper introduces a rule-based system - 4CRULES - which enables context-sensitive call control by the means of feature configuration rul... 详细信息
来源: 评论
the dynamics of dynamic variable ordering heuristics  4th
收藏 引用
4th international conference on principles and practice of constraint programming (CP 98)
作者: Prosser, P Univ Strathclyde Dept Comp Sci Glasgow G1 1XH Lanark Scotland
It has long been accepted that dynamic variable ordering heuristics outperform static orderings. But just how dynamic are dynamic variable ordering heuristics? this paper examines the behaviour of a number of heuristi... 详细信息
来源: 评论
Optimization of Simple Tabular Reduction for Table constraints
收藏 引用
14th international conference on principles and practice of constraint programming (CP 2008)
作者: Lecoutre, Christophe Univ Lille Nord France CRIL CNRS UMR 8188 F-62307 Lens France
Table constraints play an important role within constraint programming. Recently, many schemes or algorithms have been proposed to propagate table constraints or/and to compress their representation. We show that simp... 详细信息
来源: 评论
Branch-and-Check with Explanations for the Vehicle Routing Problem with Time Windows  23rd
Branch-and-Check with Explanations for the Vehicle Routing P...
收藏 引用
33rd international conference on Logic programming / 23rd international conference on principles and practice of constraint programming (CP) / 20th international conference on theory and Applications of Satisfiability Testing (SAT)
作者: Lam, Edward Van Hentenryck, Pascal CSIRO Data61 Eveleigh NSW 2015 Australia Univ Melbourne Parkville Vic 3010 Australia Univ Michigan Ann Arbor MI 48109 USA
this paper proposes the framework of branch-and-check with explanations (BCE), a branch-and-check method where combinatorial cuts are found by general-purpose conflict analysis, rather than by specialized separation a... 详细信息
来源: 评论
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 ... 详细信息
来源: 评论