咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是311-320 订阅
排序:
Bandit-Based Search for constraint programming
Bandit-Based Search for Constraint Programming
收藏 引用
19th Annual international conference on principles and practice of constraint programming (CP)
作者: Loth, Manuel Sebag, Michele Hamadi, Youssef Schoenauer, Marc Microsoft Res INRIA Joint Ctr Palaiseau France Univ Paris Sud LRI TAO CNRSINRIA Orsay France Microsoft Res Cambridge England
constraint programming (CP) solvers classically explore the solution space using tree-search based heuristics. Monte-Carlo Tree Search (MCTS), aimed at optimal sequential decision making under uncertainty, gradually g... 详细信息
来源: 评论
constraint Based Computation of Periodic Orbits of Chaotic Dynamical Systems
Constraint Based Computation of Periodic Orbits of Chaotic D...
收藏 引用
19th Annual international conference on principles and practice of constraint programming (CP)
作者: Goldsztejn, Alexandre Granvilliers, Laurent Jermann, Christophe CNRS LINA UMR 6241 2 Rue Houssiniere F-44300 Nantes France Univ Nantes LINA UMR 6241 F-44035 Nantes France
the chaos theory emerged at the end of the 19th century, and it has given birth to a deep mathematical theory in the 20th century, with a strong practical impact (e. g., weather forecast, turbulence analysis). Periodi... 详细信息
来源: 评论
constraint-Based Approaches for Balancing Bike Sharing Systems
Constraint-Based Approaches for Balancing Bike Sharing Syste...
收藏 引用
19th Annual international conference on principles and practice of constraint programming (CP)
作者: Di Gaspero, Luca Rendl, Andrea Urli, Tommaso Univ Udine DIEGM Via Sci 206 I-33100 Udine Italy Austrian Inst Technol Mobility Dept Dynam Transport Syst Vienna Austria
In order to meet the users9; demand, bike sharing systems must be regularly rebalanced. the problem of balancing bike sharing systems (BBSS) is concerned with designing optimal tours and operating instructions for ... 详细信息
来源: 评论
Breaking Symmetry with Different Orderings
Breaking Symmetry with Different Orderings
收藏 引用
19th Annual international conference on principles and practice of constraint programming (CP)
作者: Narodytska, Nina Walsh, Toby NICTA Sydney NSW Australia UNSW Sydney NSW Australia
We can break symmetry by eliminating solutions within each symmetry class. For instance, the Lex-Leader method eliminates all but the smallest solution in the lexicographical ordering. Unfortunately, the Lex-Leader me... 详细信息
来源: 评论
Model Combinators for Hybrid Optimization
Model Combinators for Hybrid Optimization
收藏 引用
19th Annual international conference on principles and practice of constraint programming (CP)
作者: Fontaine, Daniel Michel, Laurent Van Hentenryck, Pascal Univ Connecticut Storrs CT 06269 USA Univ Melbourne NICTA Melbourne Vic 3010 Australia
In recent years, CML, G12 and SIMPL, have achieved significant progress in automating the generation of hybrid solvers from high-level model specifications. this paper pushes this research direction one step further a... 详细信息
来源: 评论
Lifting Structural Tractability to CSP with Global constraints
Lifting Structural Tractability to CSP with Global Constrain...
收藏 引用
19th Annual international conference on principles and practice of constraint programming (CP)
作者: thorstensen, Evgenij Univ Oxford Dept Comp Sci Oxford OX1 2JD England
A wide range of problems can be modelled as constraint satisfaction problems (CSPs), that is, a set of constraints that must be satisfied simultaneously. constraints can either be represented extensionally, by explici... 详细信息
来源: 评论
Modelling Destructive Assignments
Modelling Destructive Assignments
收藏 引用
19th Annual international conference on principles and practice of constraint programming (CP)
作者: Francis, Kathryn Navas, Jorge Stuckey, Peter J. Natl ICT Australia Victoria Res Lab Melbourne Vic 3010 Australia Univ Melbourne Melbourne Vic 3010 Australia
Translating procedural object oriented code into constraints is required for many processes that reason about the execution of this code. the most obvious is for symbolic execution of the code, where the code is execu... 详细信息
来源: 评论
Asynchronous Forward Bounding Revisited
Asynchronous Forward Bounding Revisited
收藏 引用
19th Annual international conference on principles and practice of constraint programming (CP)
作者: Wahbi, Mohamed Ezzahir, Redouane Bessiere, Christian Mines Nantes TASC INRIA CNRS Mines Nantes France Univ Ibn Zohr Natl Sch Appl Sci Rabat Morocco Univ Montpellier Montpellier France
the Distributed constraint Optimization Problem (DCOP) is a powerful framework for modeling and solving applications in multi-agent coordination. Asynchronous Forward Bounding (AFB_BJ) is one of the best algorithms to... 详细信息
来源: 评论
ASP with non-herbrand partial functions: a language and system for practical use
收藏 引用
thEORY AND practice OF LOGIC programming 2013年 第4-5期13卷 547-561页
作者: Balduccini, Marcello Eastman Kodak Co Rochester NY 14650 USA
Dealing with domains involving substantial quantitative information in Answer Set programming (ASP) often results in cumbersome and inefficient encodings. Hybrid "CASP" languages combining ASP and constraint... 详细信息
来源: 评论
Answer Set programming: Boolean constraint Solving for Knowledge Representation and Reasoning
Answer Set Programming: Boolean Constraint Solving for Knowl...
收藏 引用
19th Annual international conference on principles and practice of constraint programming (CP)
作者: Schaub, Torsten Simon Fraser Univ Burnaby BC V5A 1S6 Canada
Answer Set programming (ASP; [1,2,3]) is a declarative problem solving approach, combining a rich yet simple modeling language with high-performance Boolean constraint solving capacities. ASP is particularly suited fo... 详细信息
来源: 评论