咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是311-320 订阅
排序:
On universal restart strategies for backtracking search
On universal restart strategies for backtracking search
收藏 引用
13th international conference on principles and practice of constraint programming (CP 2007)
作者: Wu, Huayue van Beek, Peter Univ Waterloo Sch Comp Sci Waterloo ON N2L 3G1 Canada
constraint satisfaction and propositional satisfiability problems are often solved using backtracking search. Previous studies have shown that a technique called randomization and restarts can dramatically improve, th... 详细信息
来源: 评论
Asynchronous Inter-Level Forward-Checking for DisCSPs
Asynchronous Inter-Level Forward-Checking for DisCSPs
收藏 引用
15th international conference on principles and practice of constraint programming (CP 2009)
作者: Ezzahir, Redouane Bessiere, Christian Wahbi, Mohamed Benelallam, Imade Bouyakhf, El Houssine U Montpellier 2 LIRMM CNRS Montpellier France Univ Mohammed V Agdal LIMIARF FSRU Rabat Morocco
We propose two new asynchronous algorithms for solving Distributed constraint Satisfaction Problems (DisCSPs). the first algorithm, AFC-ng, is a nogood-based version of Asynchronous Forward Checking (AFC). the second ... 详细信息
来源: 评论
Infinite qualitative simulations by means of constraint programming
Infinite qualitative simulations by means of constraint prog...
收藏 引用
12th international conference on principles and practice of constraint programming (CP 2006)
作者: Apt, Krzysztof R. Brand, Sebastian CWI NL-1090 GB Amsterdam Netherlands Univ Amsterdam Amsterdam Netherlands NICTA Victoria Res Lab Melbourne Vic Australia
We introduce a constraint-based framework for studying infinite qualitative simulations concerned with contingencies such as time, space, shape, size, abstracted into a finite set of qualitative relations. To define t... 详细信息
来源: 评论
Model-driven visualizations of constraint-based local search
收藏 引用
constraintS 2009年 第3期14卷 294-324页
作者: Dooms, Gregoire Van Hentenryck, Pascal Michel, Laurent Brown Univ Providence RI 02912 USA Univ Connecticut Storrs CT 06269 USA
Visualization is often invaluable to understand the behavior of optimization algorithms, identify their bottlenecks or pathological behaviors, and suggest remedial techniques. Yet developing visualizations is often a ... 详细信息
来源: 评论
A Soft constraint of Equality: Complexity and Approximability
收藏 引用
14th international conference on principles and practice of constraint programming (CP 2008)
作者: Hebrard, Emmanuel O'Sullivan, Barry Razgon, Igor Natl Univ Ireland Univ Coll Cork Dept Comp Sci Cork Constraint Computat Ctr Cork Ireland
We introduce the SOFTALLEQUAL global constraint. which maximizes the number of equalities holding between hairs of assignments to a set of variables. MO study the computational complexity of propagating this constrain... 详细信息
来源: 评论
Metamorphic Testing of constraint Solvers  1
收藏 引用
24th international conference on the principles and practice of constraint programming (CP)
作者: Akgun, Ozgur Gent, Ian P. Jefferson, Christopher Miguel, Ian Nightingale, Peter Univ St Andrews Sch Comp Sci St Andrews Fife Scotland
constraint solvers are complex pieces of software and are notoriously difficult to debug. In large part this is due to the difficulty of pinpointing the source of an error in the vast searches these solvers perform, s... 详细信息
来源: 评论
the effect of constraint representation on structural tractability
The effect of constraint representation on structural tracta...
收藏 引用
12th international conference on principles and practice of constraint programming (CP 2006)
作者: Houghton, Chris Cohen, David Green, Martin J. Univ London Royal Holloway & Bedford New Coll Dept Comp Sci Egham TW20 0EX Surrey England
Tractability results for structural subproblems have generally been considered for explicit relations listing the allowed assignments. In this paper we define a representation which allows us to express constraint rel... 详细信息
来源: 评论
Closing the Open Shop: Contradicting Conventional Wisdom
Closing the Open Shop: Contradicting Conventional Wisdom
收藏 引用
15th international conference on principles and practice of constraint programming (CP 2009)
作者: Grimes, Diarmuid Hebrard, Emmanuel Malapert, Arnaud Cork Constraint Computat Ctr Cork Ireland Cirrelt CNRS EMN LINA UMR 6241 Montreal PQ Canada
this paper describes a new approach for solving disjunctive temporal problems such as the open shop and job shop scheduling domains. Much previous research in systematic search approaches for these problems has focuse... 详细信息
来源: 评论
Space-Based multi-Core programming in Java  11
Space-Based multi-Core programming in Java
收藏 引用
9th international conference on principles and practice of programming in Java, PPPJ 2011
作者: Gudenkauf, Stefan Hasselbring, Wilhelm OFFIS - Institute for Computer Science Escherweg 2 26127 Oldenburg Germany Department of Computer Science Software Engineering Group Christian-Albrechts-Universität zu Kiel Christian-Albrechts-Platz 4 24118 Kiel Germany
Multi-core processors require programmers to exploit concurrency in software as far as possible. Unfortunately, our current concurrency abstractions make multi-core programming harder than necessary because we have to... 详细信息
来源: 评论
Exploiting bipartiteness to identify yet another tractable subclass of CSP  5th
收藏 引用
5th international conference on principles and practice of constraint programming (CP 99)
作者: Bjäreland, M Jonsson, P Linkoping Univ Dept Comp & Informat Sci S-58183 Linkoping Sweden
the class of constraint satisfaction problems (CSPs) over finite domains has been shown to be NP-complete, but many tractable subclasses have been identified in the literature. In this paper we are interested in restr... 详细信息
来源: 评论