咨询与建议

限定检索结果

文献类型

  • 42 篇 会议
  • 8 册 图书
  • 2 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 34 篇 工学
    • 33 篇 计算机科学与技术...
    • 18 篇 软件工程
    • 4 篇 电气工程
    • 4 篇 信息与通信工程
    • 2 篇 控制科学与工程
    • 1 篇 仪器科学与技术
    • 1 篇 电子科学与技术(可...
    • 1 篇 环境科学与工程(可...
    • 1 篇 食品科学与工程(可...
  • 11 篇 理学
    • 10 篇 数学
    • 4 篇 系统科学
    • 1 篇 生物学
  • 3 篇 管理学
    • 2 篇 管理科学与工程(可...
    • 1 篇 工商管理
    • 1 篇 图书情报与档案管...

主题

  • 7 篇 problem solving
  • 6 篇 constraint theor...
  • 4 篇 logic programmin...
  • 4 篇 programming lang...
  • 4 篇 artificial intel...
  • 3 篇 constraint satis...
  • 3 篇 programming tech...
  • 3 篇 logics and meani...
  • 2 篇 timing
  • 2 篇 symbolic and alg...
  • 2 篇 optimization
  • 2 篇 mathematical log...
  • 2 篇 dcop
  • 2 篇 algorithm analys...
  • 1 篇 constraint logic...
  • 1 篇 carla
  • 1 篇 base stations
  • 1 篇 object oriented ...
  • 1 篇 formal logic
  • 1 篇 distributed sear...

机构

  • 2 篇 univ perugia dip...
  • 2 篇 university colle...
  • 2 篇 univ g dannunzio...
  • 2 篇 ibm thomas j. wa...
  • 2 篇 inria saclay
  • 1 篇 institute of fin...
  • 1 篇 ben gurion univ ...
  • 1 篇 nicta nsw
  • 1 篇 univ n carolina ...
  • 1 篇 nii tokyo
  • 1 篇 microsoft corpor...
  • 1 篇 univ melbourne d...
  • 1 篇 laboratoire d'in...
  • 1 篇 school of comput...
  • 1 篇 univ ulm fak ing...
  • 1 篇 charles universi...
  • 1 篇 faculty of compu...
  • 1 篇 dipartimento di ...
  • 1 篇 dept. of compute...
  • 1 篇 hacettepe univ d...

作者

  • 4 篇 o'sullivan barry
  • 3 篇 françois fages
  • 3 篇 francesca rossi
  • 2 篇 djelloul khalil
  • 2 篇 michael hanus
  • 2 篇 razgon igor
  • 2 篇 sylvain soliman
  • 2 篇 larrosa javier
  • 2 篇 bistarelli stefa...
  • 1 篇 prestwich steven
  • 1 篇 soh takehide
  • 1 篇 qing wang
  • 1 篇 stuckey peter j.
  • 1 篇 cavalcante renat...
  • 1 篇 egri lászló
  • 1 篇 pollakis emmanue...
  • 1 篇 gebser martin
  • 1 篇 narendran paliat...
  • 1 篇 wallace mark
  • 1 篇 ostrowski max

语言

  • 50 篇 英文
  • 2 篇 中文
检索条件"任意字段=13th Annual International Workshop on Constraint Solving and Constraint Logic Programming"
52 条 记 录,以下是1-10 订阅
排序:
Recent Advances in constraints - 13th annual ERCIM international workshop on constraint solving and constraint logic programming, CSCLP 2008, Revised Selected Papers
Recent Advances in Constraints - 13th Annual ERCIM Internati...
收藏 引用
13th annual ERCIM international workshop on constraint solving and constraint logic programming, CSCLP 2008
the proceedings contain 9 papers. the topics discussed include: from marriages to coalitions: a soft CSP approach;solving CSPs with naming games;an efficient decision procedure for functional decomposable theories bas...
来源: 评论
14th annual ERCIM international workshop on constraint solving and constraint logic programming, CSCLP 2009
14th Annual ERCIM International Workshop on Constraint Solvi...
收藏 引用
14th annual ERCIM international workshop on constraint solving and constraint logic programming, CSCLP 2009
the proceedings contain 9 papers. the special focus in this conference is on constraint solving and constraint logic programming. the topics include: Procedural code generation vs static expansion in modelling languag...
来源: 评论
Recent Advances in constraints - 14th annual ERCIM international workshop on constraint solving and constraint logic programming, CSCLP 2009, Revised Selected Papers
Recent Advances in Constraints - 14th Annual ERCIM Internati...
收藏 引用
14th annual ERCIM international workshop on constraint solving and constraint logic programming, CSCLP 2009
the proceedings contain 9 papers. the topics discussed include: solving weighted argumentation frameworks with soft constraints;connecting BnB-ADOPT with soft arc consistency: initial results;procedural code generatio...
来源: 评论
Recent Advances in constraints: 11th annual ERCIM international workshop on constraint solving and constraint logic programming, CSCLP 2006 Revised Selected and Invited Papers
Recent Advances in Constraints: 11th Annual ERCIM Internatio...
收藏 引用
11th annual European Research Consortium for Informatics and Mathematics (ERCIM) international workshop on constraint solving and constraint logic programming, CSCLP 2006
the proceedings contain 11 papers. the topics discussed include: hybrid algorithms in constrained programming;an attempt to dynamically break symmetries in the social golfers problem;a constraint model for state trans... 详细信息
来源: 评论
Recent Advances in constraints - 12th annual ERCIM international workshop on constraint solving and constraint logic programming, CSCLP 2007, Revised Selected Papers
收藏 引用
12th annual ERCIM international workshop on constraint solving and constraint logic programming, CSCLP 2007
the proceedings contain 10 papers. the topics discussed include: a comparison of the notions of optimality in soft constraints and graphical games;temporal reasoning in nested temporal networks with alternatives;SCLP ...
来源: 评论
solving CSPs with Naming Games
Solving CSPs with Naming Games
收藏 引用
13th annual international workshop on constraint solving and constraint logic programming
作者: Bistarelli, Stefano Gosti, Giorgio Univ G dAnnunzio Dipartimento Sci Chieti Italy Inst Informat & Telemat IIT CNR Pisa Italy Univ Perugia Dipartimento Matemat Informat Perugia Italy
constraint solving problems (CSPs) represent a formalization of an important class of problems, in computer science. We propose here a solving methodology based oil the naming games. the naming game was introduced to ... 详细信息
来源: 评论
Preference-Based Problem solving for constraint programming
收藏 引用
12th annual Recent Advances in constraints international workshop on constraint solving and constraint logic programming
作者: Junker, Ulrich ILOG F-06560 Valbonne France
Combinatorial problems such as scheduling, resource allocation, and configuration may involve many attributes that can be subject of user preferences. Traditional optimization approaches compile those preferences into... 详细信息
来源: 评论
Combining Symmetry Breaking and Global constraints
Combining Symmetry Breaking and Global Constraints
收藏 引用
13th annual international workshop on constraint solving and constraint logic programming
作者: Katsirelos, George Narodytska, Nina Walsh, Toby NICTA Sydney NSW Australia UNSW Sydney NSW Australia
We propose a new family of constraints which combine together lexicographical ordering constraints for symmetry breaking with other common Global constraints. We give a general purpose propagator for this family of co... 详细信息
来源: 评论
Declarative programming and Knowledge Management  2014
收藏 引用
丛书名: Lecture Notes in Computer Science
2014年
作者: Michael Hanus Ricardo Rocha
this book constitutes the proceedings of the Kiel Declarative programming Days, KDPD 2013, unifying the following conferences: the 20th international Conference on Applications of Declarative programming and Knowledge...
来源: 评论
Hybrid algorithms in constraint programming
Hybrid algorithms in constraint programming
收藏 引用
11th annual ERCIM international workshop on constraint solving and Contraint logic programming
作者: Wallace, Mark Monash Univ Fac Informat Technol Clayton Vic 3800 Australia
this paper surveys hybrid algorithms from a constraint programming perspective. It introduces techniques used within a constructive search framework, such as propagation and linear relaxation, as well as techniques us... 详细信息
来源: 评论