咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是251-260 订阅
排序:
Program completion in the input language of GRINGO
Program completion in the input language of GRINGO
收藏 引用
33rd international conference on Logic programming colocated with the 23rd international conference on principles and practice of constraint programming / 20th international conference on theory and Applications of Satisfiability Testing
作者: Harrison, Amelia Lifschitz, Vladimir Raju, Dhananjay Dept Comp Sci Austin TX 78712 USA
We argue that turning a logic program into a set of completed definitions can be sometimes thought of as the "reverse engineering" process of generating a set of conditions that could serve as a specificatio... 详细信息
来源: 评论
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 ... 详细信息
来源: 评论
Pin Assignment Using Stochastic Local Search constraint programming
Pin Assignment Using Stochastic Local Search Constraint Prog...
收藏 引用
15th international conference on principles and practice of constraint programming (CP 2009)
作者: Dubrov, Bella Eran, Haggai Freund, Ari Mark, Edward F. Ramji, Shyam Schell, Timothy A. IBM Haifa Res Lab Haifa Israel IBM East Fishkill Hopewell Jct NY USA
VLSI chips design is becoming increasingly complex and calling for more and more automation. Many chip design problems can be formulated is constraint problems and are potentially amenable to CP techniques. To the bes... 详细信息
来源: 评论
Handling implication and universal quantification constraints in FLUX
收藏 引用
11th international conference on principles and practice of constraint programming (CP 2005)
作者: thielscher, M Dresden Univ Technol D-01062 Dresden Germany
FLUX is a CLP-approach for programming agents that reason about actions under incomplete state knowledge. FLUX is based on the solution to the fundamental frame problem in the fluent calculus. the core is a set of Con... 详细信息
来源: 评论
the Objective-CP Optimization System
The Objective-CP Optimization System
收藏 引用
19th Annual international conference on principles and practice of constraint programming (CP)
作者: Van Hentenryck, Pascal Michel, Laurent NICTA Australia University of Connecticut Storrs CT 06269-2155 United States
Objective-CP is an optimization system that views an optimization program as the combination of a model, a search, and a solver. Models in Objective-CP follow the modeling style of constraint programming and are concr... 详细信息
来源: 评论
Case Study: constraint programming in a System Level Synthesis Framework
Case Study: Constraint Programming in a System Level Synthes...
收藏 引用
20th international conference on the principles and practice of constraint programming (CP)
作者: Li, Shuo Hemani, Ahmed Royal Inst Technol Sch Informat & Commun Technol Dept Elect Syst S-16440 Stockholm Sweden
this article presents a case study of using a constraint programming solver in a system level synthesis framework called SYLVA. the solver is used to find the repetition vector of a synchronous data flow graph and ser... 详细信息
来源: 评论
Unifying Reserve Design Strategies with Graph theory and constraint programming  1
收藏 引用
24th international conference on the principles and practice of constraint programming (CP)
作者: Justeau-Allaire, Dimitri Birnbaum, Philippe Lorca, Xavier CIRAD AMAP UMR F-34398 Montpellier France Inst Agron Neocaledonien IAC Noumea 98800 New Caledonia Univ Montpellier CIRAD AMAP CNRSINRAIRD Montpellier France IMT Mines Albi ORKID Ctr Genie Ind Campus Jarlard F-81013 Albi 09 France
the delineation of areas of high ecological or biodiversity value is a priority of any conservation program. However, the selection of optimal areas to be preserved necessarily results from a compromise between the co... 详细信息
来源: 评论
Connecting ABT with Arc Consistency
收藏 引用
14th international conference on principles and practice of constraint programming (CP 2008)
作者: Brito, Ismel Meseguer, Pedro CSIC IIIA Bellaterra 09193 Spain
ABT is the reference algorithm for asynchronous distributed constraint satisfaction. When searching, ABT produces nogoods as justifications of deleted values. When one of such nogoods has an empty left-hand side, the ... 详细信息
来源: 评论
Unfolding in CHR  07
Unfolding in CHR
收藏 引用
9th international ACM SIGPLAN conference on principles and practice of Declarative programming, PPDP'07
作者: Tacchella, Paolo Gabbrielli, Maurizio Meo, Maria Chiara Dipartimento di Scienze dell'Informazione Università di Bologna Via Mura Anteo Zamboni 7 40127 Bologna Italy Dipartimento di Scienze Università di Chieti Viale Pindaro 42 65127 Pescara Italy
Program transformation is an appealing technique which allows to improve run-time efficiency, space-consumption and more generally to optimize a given program. Essentially it consists of a sequence of syntactic progra... 详细信息
来源: 评论
Scheduling of Mobile Robots Using constraint programming  25th
Scheduling of Mobile Robots Using Constraint Programming
收藏 引用
25th international conference on the principles and practice of constraint programming (CP)
作者: Murin, Stanislav Rudova, Hana Masaryk Univ Fac Informat Brno Czech Republic
Mobile robots in flexible manufacturing systems can transport components for jobs between machines as well as process jobs on selected machines. While the job shop problem with transportation resources allows encapsul... 详细信息
来源: 评论