咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是851-860 订阅
排序:
Improving backtrack search for solving the TCSP
收藏 引用
9th international conference on principles and practice of constraint programming, CP 2003
作者: Xu, Lin Choueiry, Berthe Y. Constraint Systems Laboratory Department of Computer Science and Engineering University of Nebraska-Lincoln LincolnNE United States
In this paper, we address the task of finding the minimal network of a Temporal constraint Satisfaction Problem (TCSP).We report the integration of three approaches to improve the performance of the exponential-time b... 详细信息
来源: 评论
Improved algorithms for max-restricted path consistency
收藏 引用
9th international conference on principles and practice of constraint programming, CP 2003
作者: Grandoni, Fabrizio Italiano, Giuseppe F. Dipartimento di Informatica Sistemi e Produzione Università di Roma "Tor Vergata" Via del Politecnico 1 Roma00133 Italy
A binary constraints network consists of a set of n variables, defined on domains of size at most d, and a set of e binary constraints. the binary constraint satisfaction problem consists in finding a solution for a b... 详细信息
来源: 评论
Generic SBDD using computational group theory
收藏 引用
9th international conference on principles and practice of constraint programming, CP 2003
作者: Gent, Ian P. Harvey, Warwick Kelsey, Tom Linton, Steve School of Computer Science University of St Andrews St Andrews FifeKY16 9SS United Kingdom IC-Parc Imperial College London Exhibition Road LondonSW7 2AZ United Kingdom
We introduce a novel approach for symmetry breaking by dominance detection (SBDD). the essence of SBDD is to perform ‘dominance checks’ at each node in a search tree to ensure that no symmetrically equivalent node h... 详细信息
来源: 评论
Greater efficiency for conditional constraint satisfaction
收藏 引用
9th international conference on principles and practice of constraint programming, CP 2003
作者: Sabin, Mihaela Freuder, Eugene C. Wallace, Richard J. Department of Mathematics and Computer Science Rivier College 420 Main Street NashuaNH03060 United States Cork Constraint Computation Center Department of Computer Science University College Cork Cork Ireland
A conditional constraint satisfaction problem (CCSP) extends a standard constraint satisfaction problem (CPS) with a conditionbased component that controls what variables participate in problem solutions. CCSPs adequa... 详细信息
来源: 评论
Tractability by approximating constraint languages
收藏 引用
9th international conference on principles and practice of constraint programming, CP 2003
作者: Green, Martin J. Cohen, David A. Department of Computer Science Royal Holloway University of London United Kingdom
A constraint satisfaction problem instance consists of a collection of variables that need to have values assigned to them. the assignments are limited by constraints that force the values taken by certain collections... 详细信息
来源: 评论
Exploiting multidirectionality in coarse-grained arc consistency algorithms
收藏 引用
9th international conference on principles and practice of constraint programming, CP 2003
作者: Lecoutre, Christophe Boussemart, Frédéric Hemery, Fred CNRS FRE 2499 Rue de l’université SP 16 Lens cedex62307 France
Arc consistency plays a central role in solving constraint Satisfaction Problems. this is the reason why many algorithms have been proposed to establish it. Recently, an algorithm called AC2001 and AC3.1 has been inde... 详细信息
来源: 评论
Checking properties of Heap-Manipulating procedures with a constraint solver
Checking properties of Heap-Manipulating procedures with a c...
收藏 引用
9th international conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2003 Held as Part of the Joint European conferences on theory and practice of Software, ETAPS 2003
作者: Vaziri, Mandana Jackson, Daniel Laboratory for Computer Science Massachusetts Institute of Technology Cambridge MA United States
A method for finding bugs in object-oriented code is presented. It is capable of checking complex user-defined structural properties - that is, of the configuration of objects on the heap - and generates counterexampl... 详细信息
来源: 评论
Integrating finite domain constraints and CLP with sets  03
Integrating finite domain constraints and CLP with sets
收藏 引用
Proceedings of the 5th ACM SIGPLAN international conference on principles and practice of declaritive programming
作者: A. Dal Palú A. Dovier E. Pontelli G. Rossi Università di Udine New Mexico State University Università di Parma
In this paper we propose a semantically well-founded combination of the constraint solvers used in the constraint programming languages CLP(SET) and CLP(FD). this work demonstrates that it is possible to provide effic... 详细信息
来源: 评论
8th international conference on principles and practice of constraint programming, CP 2002
收藏 引用
8th international conference on principles and practice of constraint programming, CP 2002
the proceedings contain 83 papers. the special focus in this conference is on Innovative Applications and Posters. the topics include: Reduced cost-based ranking for generating promising subproblems;integrating constr...
来源: 评论
Finding all minimal unsatisfiable subsets  03
Finding all minimal unsatisfiable subsets
收藏 引用
Proceedings of the 5th ACM SIGPLAN international conference on principles and practice of declaritive programming
作者: Maria Garcia de la Banda Peter J. Stuckey Jeremy Wazny Monash University Australia University of Melbourne Australia
An unsatisfiable set of constraints is minimal if all its (strict) subsets aresatisfiable.A number of forms of error diagnosis, including circuit error diagnosis and type error diagnosis, require finding all minimal u... 详细信息
来源: 评论