咨询与建议

限定检索结果

文献类型

  • 309 篇 会议
  • 8 册 图书
  • 6 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 274 篇 工学
    • 267 篇 计算机科学与技术...
    • 165 篇 软件工程
    • 27 篇 信息与通信工程
    • 19 篇 电气工程
    • 4 篇 化学工程与技术
    • 3 篇 动力工程及工程热...
    • 3 篇 土木工程
    • 2 篇 机械工程
    • 2 篇 冶金工程
    • 2 篇 控制科学与工程
    • 2 篇 建筑学
    • 2 篇 农业工程
    • 2 篇 环境科学与工程(可...
    • 1 篇 力学(可授工学、理...
    • 1 篇 材料科学与工程(可...
    • 1 篇 测绘科学与技术
    • 1 篇 石油与天然气工程
  • 192 篇 理学
    • 143 篇 数学
    • 116 篇 系统科学
    • 7 篇 统计学(可授理学、...
    • 5 篇 物理学
    • 4 篇 化学
    • 3 篇 生物学
    • 1 篇 地球物理学
  • 24 篇 管理学
    • 22 篇 管理科学与工程(可...
    • 15 篇 工商管理
    • 3 篇 图书情报与档案管...
  • 4 篇 经济学
    • 4 篇 应用经济学
  • 4 篇 法学
    • 4 篇 社会学
  • 2 篇 农学
    • 2 篇 作物学

主题

  • 64 篇 constraint theor...
  • 52 篇 constraint satis...
  • 31 篇 constraint progr...
  • 11 篇 constrained opti...
  • 8 篇 problem solving
  • 7 篇 scheduling
  • 6 篇 mathematical log...
  • 5 篇 artificial intel...
  • 4 篇 modeling languag...
  • 4 篇 model checking
  • 4 篇 optimization
  • 4 篇 programming lang...
  • 4 篇 logics and meani...
  • 3 篇 polynomial appro...
  • 3 篇 constraint handl...
  • 3 篇 semantics
  • 3 篇 algorithm analys...
  • 3 篇 regular constrai...
  • 2 篇 solution countin...
  • 2 篇 software enginee...

机构

  • 5 篇 cork constraint ...
  • 5 篇 cork constraint ...
  • 4 篇 ecole polytech m...
  • 4 篇 fraunhofer first...
  • 4 篇 natl univ irelan...
  • 4 篇 kth royal inst t...
  • 4 篇 mines de nantes
  • 4 篇 brown univ provi...
  • 3 篇 univ bologna dei...
  • 3 篇 nicta nsw
  • 3 篇 university of co...
  • 3 篇 161 rue ada mont...
  • 3 篇 iiia-csic campus...
  • 3 篇 univ connecticut...
  • 3 篇 natl univ irelan...
  • 3 篇 univ coll cork c...
  • 3 篇 univ london impe...
  • 3 篇 univ toronto dep...
  • 2 篇 lund university ...
  • 2 篇 university of pa...

作者

  • 16 篇 stuckey peter j.
  • 11 篇 o'sullivan barry
  • 9 篇 bessiere christi...
  • 8 篇 miguel ian
  • 8 篇 beldiceanu nicol...
  • 8 篇 hebrard emmanuel
  • 8 篇 pesant gilles
  • 7 篇 van hentenryck p...
  • 7 篇 walsh toby
  • 7 篇 schulte christia...
  • 7 篇 quimper claude-g...
  • 6 篇 nightingale pete...
  • 6 篇 gent ian p.
  • 6 篇 choueiry berthe ...
  • 6 篇 simonis helmut
  • 6 篇 schaus pierre
  • 5 篇 rousseau louis-m...
  • 5 篇 hnich brahim
  • 5 篇 deville yves
  • 5 篇 bessière christi...

语言

  • 322 篇 英文
  • 1 篇 中文
检索条件"任意字段=7th International Conference on Principles and Practice of Constraint Programming, CP 2001"
323 条 记 录,以下是141-150 订阅
排序:
A constraint store based on multivalued decision diagrams
A constraint store based on multivalued decision diagrams
收藏 引用
13th international conference on principles and practice of constraint programming (cp 2007)
作者: Andersen, H. R. Hadzic, T. Hooker, J. N. Tiedemann, P. IT Univ Copenhagen Copenhagen Denmark Carnegie Mellon Univ Pittsburgh PA USA
the typical constraint store transmits a limited amount of information because it consists only of variable domains. We propose a richer constraint store in the form of a limited-width multivalued decision diagram (MD... 详细信息
来源: 评论
HIBISCUS: A constraint programming application to staff scheduling in health care
收藏 引用
9th international conference on principles and practice of constraint programming
作者: Bourdais, S Galinier, P Pesant, G Ecole Polytech Dept Genie Informat Montreal PQ H3C 3A7 Canada
this paper presents a constraint programming model and search strategy to formulate and solve staff scheduling problems in health care. this is a well-studied problem for which many different approaches have been deve... 详细信息
来源: 评论
Reducing Bias in Preference Aggregation for Multiagent Soft constraint Problems  25th
Reducing Bias in Preference Aggregation for Multiagent Soft ...
收藏 引用
25th international conference on the principles and practice of constraint programming (cp)
作者: Schiendorfer, Alexander Reif, Wolfgang Univ Augsburg Inst Software & Syst Engn Augsburg Germany
Most distributed constraint optimization problems assume the overall objective function to be the "utilitarian social welfare", i.e., a sum of several utility functions, belonging to different agents. this a... 详细信息
来源: 评论
Reward Potentials for Planning with Learned Neural Network Transition Models  25th
Reward Potentials for Planning with Learned Neural Network T...
收藏 引用
25th international conference on the principles and practice of constraint programming (cp)
作者: Say, Buser Sanner, Scott thiebaux, Sylvie Univ Toronto Toronto ON Canada Vector Inst Toronto ON Canada Australian Natl Univ Canberra ACT Australia
Optimal planning with respect to learned neural network (NN) models in continuous action and state spaces using mixed-integer linear programming (MILP) is a challenging task for branch-and-bound solvers due to the poo... 详细信息
来源: 评论
principles and practice of constraint programming  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: thomas Schiex Simon de Givry
this book constitutes the proceedings of the 25th international conference on principles and practice of constraint programming, cp 2019, held in Stamford, CT, USA, France, in September/October 2019.
来源: 评论
principles and practice of constraint programmingcp 2007  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
the 13th international conference on principles and practice of constraint programming (cp 2007) was held in Providence, RI, USA, September 23–27, 2007, in conjunction with the international conference on Automated P... 详细信息
来源: 评论
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 ... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Fast optimal instruction scheduling for single-issue processors with arbitrary latencies  7
收藏 引用
7th international conference on principles and practice of constraint programming, cp 2001
作者: Van Beek, Peter Wilken, Kent Department of Computer Science University of Waterloo WaterlooONN2L 3G1 Canada Department of Electrical and Computer Engineering University of California DavisCA95616 United States
Instruction scheduling is one of the most important steps for improving the performance of object code produced by a compiler. the local instruction scheduling problem is to find a minimum length instruction schedule ... 详细信息
来源: 评论
Efficient Generic Search Heuristics within the EMBP Framework
Efficient Generic Search Heuristics within the EMBP Framewor...
收藏 引用
15th international conference on principles and practice of constraint programming (cp 2009)
作者: Le Bras, Ronan Zanarini, Alessandro Pesant, Gilles Ecole Polytech Montreal PQ H3C 3A7 Canada
Accurately estimating the distribution of solutions to a problem, should such solutions exist, provides efficient search heuristics. the purpose of this paper is to propose new ways of computing such estimates, with d... 详细信息
来源: 评论