咨询与建议

限定检索结果

文献类型

  • 68 篇 会议
  • 4 篇 期刊文献
  • 3 册 图书

馆藏范围

  • 75 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 66 篇 工学
    • 64 篇 计算机科学与技术...
    • 52 篇 软件工程
    • 1 篇 动力工程及工程热...
    • 1 篇 信息与通信工程
    • 1 篇 环境科学与工程(可...
  • 17 篇 理学
    • 14 篇 系统科学
    • 9 篇 数学
    • 1 篇 统计学(可授理学、...
  • 3 篇 管理学
    • 3 篇 管理科学与工程(可...
    • 1 篇 工商管理
    • 1 篇 图书情报与档案管...

主题

  • 18 篇 constraint theor...
  • 10 篇 constraint satis...
  • 3 篇 mathematical log...
  • 3 篇 programming tech...
  • 3 篇 programming lang...
  • 3 篇 constraint progr...
  • 3 篇 logics and meani...
  • 3 篇 regular constrai...
  • 2 篇 solution countin...
  • 2 篇 model-driven vis...
  • 2 篇 problem solving
  • 2 篇 modeling languag...
  • 2 篇 alldifferent con...
  • 2 篇 constraint optim...
  • 2 篇 semantics
  • 2 篇 constraint-based...
  • 2 篇 optimization alg...
  • 2 篇 heuristic search
  • 1 篇 traveling salesm...
  • 1 篇 genetic programm...

机构

  • 4 篇 natl univ irelan...
  • 4 篇 kth royal inst t...
  • 3 篇 univ connecticut...
  • 3 篇 brown univ provi...
  • 2 篇 univ bologna dei...
  • 2 篇 univ cote azur c...
  • 2 篇 nicta nsw
  • 2 篇 ecole polytech m...
  • 2 篇 univ nottingham ...
  • 2 篇 intel corp haifa
  • 2 篇 univ coll cork c...
  • 2 篇 cornell univ dep...
  • 2 篇 ecole polytech d...
  • 2 篇 univ oxford comp...
  • 2 篇 brown univ dept ...
  • 2 篇 natl univ irelan...
  • 1 篇 inra toulouse
  • 1 篇 university of ne...
  • 1 篇 ecole polytech f...
  • 1 篇 cnrs fre 2499 ru...

作者

  • 5 篇 stuckey peter j.
  • 5 篇 o'sullivan barry
  • 4 篇 van hentenryck p...
  • 4 篇 bessiere christi...
  • 4 篇 hebrard emmanuel
  • 4 篇 lecoutre christo...
  • 4 篇 schulte christia...
  • 4 篇 pesant gilles
  • 3 篇 zanarini alessan...
  • 3 篇 michel laurent
  • 3 篇 milano michela
  • 2 篇 prestwich steven
  • 2 篇 miguel ian
  • 2 篇 hnich brahim
  • 2 篇 tarim s. armagan
  • 2 篇 gent ian p.
  • 2 篇 rossi roberto
  • 2 篇 beldiceanu nicol...
  • 2 篇 lombardi michele
  • 2 篇 meseguer pedro

语言

  • 75 篇 英文
检索条件"任意字段=15th International Conference on Principles and Practice of Constraint Programming, CP 2009"
75 条 记 录,以下是71-80 订阅
排序:
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... 详细信息
来源: 评论
A new hybrid tractable class of soft constraint problems
A new hybrid tractable class of soft constraint problems
收藏 引用
16th international conference on principles and practice of constraint programming, cp 2010
作者: Cooper, Martin C. Živný, Stanislav IRIT University of Toulouse III 31062 Toulouse France Computing Laboratory University of Oxford OX1 3QD Oxford United Kingdom
the constraint satisfaction problem (CSP) is a central generic problem in artificial intelligence. Considerable effort has been made in identifying properties which ensure tractability in such problems. In this paper ... 详细信息
来源: 评论
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... 详细信息
来源: 评论
A New Quantum-Inspired Binary PSO for thermal Unit Commitment Problems
A New Quantum-Inspired Binary PSO for Thermal Unit Commitmen...
收藏 引用
international conference on Intelligent Systems Applications to Power Systems (ISAP)
作者: Yun-Won Jeong Jong-Bae Park Se-Hwan Jang Kwang Y. Lee Department of Electrical Engineering Konkuk University Seoul South Korea Department of Electrical and Computer Engineering Baylor University Waco TX USA
this paper proposes a new binary particle swarm optimization (BPSO) approach inspired from quantum computing, so-called quantum-inspired BPSO (QBPSO), for solving the unit commitment (UC) problems. Although BPSO-based... 详细信息
来源: 评论
Methods to learn abstract scheduling models
收藏 引用
11th international conference on principles and practice of constraint programming - cp 2005
作者: Carchrae, Tom Beck, J. Christopher Freuder, Eugene C. Cork Constraint Computation Center University College Cork Ireland
For practical reasons, most scheduling problems are an abstraction of the real problem being solved. For example, when you plan your day, you schedule the activities which are critical;that is you schedule the activit... 详细信息
来源: 评论