咨询与建议

限定检索结果

文献类型

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

馆藏范围

  • 316 篇 电子文献
  • 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
  • 4 篇 modeling languag...
  • 4 篇 model checking
  • 4 篇 optimization
  • 3 篇 polynomial appro...
  • 3 篇 constraint handl...
  • 3 篇 semantics
  • 3 篇 regular constrai...
  • 2 篇 solution countin...
  • 2 篇 computational co...
  • 2 篇 constraint satis...
  • 2 篇 computational ge...
  • 2 篇 alldifferent con...
  • 2 篇 logic programmin...
  • 2 篇 linear programmi...

机构

  • 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...

语言

  • 316 篇 英文
  • 1 篇 中文
检索条件"任意字段=7th International Conference on Principles and Practice of Constraint Programming, CP 2001"
317 条 记 录,以下是311-320 订阅
排序:
constraint propagation: Between abstract models and ad hoc strategies  6th
收藏 引用
6th international conference on principles and practice of constraint programming, cp2000
作者: Granvilliers, Laurent Monfroy, Eric IRIN B.P. 92208 Nantes Cedex 3F-44322 France CWI Kruislaan 413 Amsterdam1098 SJ Netherlands
constraint propagation [10,7,5] (cp) is a cornerstone algorithm of constraint programming, mainly devoted to the computation of local consistency properties of constraint satisfaction problems. the abstract formulatio...
来源: 评论
How to model and verify concurrent algorithms for distributed CSPs  6th
收藏 引用
6th international conference on principles and practice of constraint programming, cp2000
作者: Hannebauer, Markus GMD – German National Research Center for Information Technology FIRST Kekuléstr. 7 BerlinD-12489 Germany
Many recent systems tackling Distributed constraint Satisfaction Problems (DCSPs) lack a theoretically founded specification and safety or liveness property proofs. this may be due to the difficulty of modeling and ve... 详细信息
来源: 评论
constraint propagation for soft constraints: Generalization and termination conditions  6th
收藏 引用
6th international conference on principles and practice of constraint programming, cp2000
作者: Bistarelli, S. Gennari, R. Rossi, F. Università di Pisa Dipartimento di Informatica Corso Italia 40 Pisa56125 Italy ILLC Institute of Logic Language and Computation University of Amsterdam N. Doelenstraat 15 Amsterdam1012 CP Netherlands Università di Padova Dipartimento di Matematica Pura ed Applicata Via Belzoni 7 Padova35131 Italy
Soft constraints based on semirings are a generalization of classical constraints, where tuples of variables’ values in each soft constraint are uniquely associated to elements from an algebraic structure called semi... 详细信息
来源: 评论
On forward checking for non-binary constraint satisfaction  5th
收藏 引用
5th international conference on principles and practice of constraint programming, cp 1999
作者: Bessière, Christian Meseguer, Pedro Freuder, Eugene C. Larrosa, Javier LIRMM-CNRS 161 rue Ada Montpellier34392 France IIIA-CSIC Campus UAB Bellaterra08193 Spain University of New Hampshire DurhamNH03824 United States Dep. LSI UPC Jordi Girona Salgado 1-3 Barcelona08034 Spain
Solving non-binary constraint satisfaction problems, a crucial challenge for the next years, can be tackled in two different ways: translating the non-binary problem into an equivalent binary one, or extending binary ... 详细信息
来源: 评论
constraint techniques for solving the protein structure prediction problem  4th
收藏 引用
4th international conference on principles and practice of constraint programming (cp 98)
作者: Backofen, R LMU Munchen Inst Informat D-80538 Munich Germany
the protein structure prediction problem is one of the most (if not the most) important problem in computational biology. this problem consists of finding the conformation of a protein (i.e., a sequence of amino-acids... 详细信息
来源: 评论
A generic model and hybrid algorithm for Hoist Scheduling Problems  4th
收藏 引用
4th international conference on principles and practice of constraint programming (cp 98)
作者: Rodosek, R Wallace, M Univ London Imperial Coll Sci Technol & Med London SW7 2AZ England
this paper presents a robust approach to solve Hoist Scheduling Problems (HSPs) based on an integration of constraint Logic programming (CLP) and Mixed Integer programming (MIP). By contrast with previous dedicated mo... 详细信息
来源: 评论
Non-systematic search and learning: An empirical study  4th
收藏 引用
4th international conference on principles and practice of constraint programming, cp 1998
作者: thomas Richards, E. Richards, Barry IC-Parc Imperial College LondonSW7 2AZ United Kingdom
this paper explores the performance of a new complete nonsystematic search algorithm learn-SAT on two types of 3-SAT problems, (i) an extended range of AIM problems [1] and (ii) structured unsolvable problems [2]. the... 详细信息
来源: 评论