咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是291-300 订阅
排序:
On Backdoors to Tractable constraint Languages
On Backdoors to Tractable Constraint Languages
收藏 引用
20th international conference on the principles and practice of constraint programming (CP)
作者: Carbonnel, Clement Cooper, Martin C. Hebrard, Emmanuel CNRS LAAS 7 Ave Colonel Roche F-31400 Toulouse France Univ Toulouse 3 Inst Rech Informat Toulouse F-31062 Toulouse France Univ Toulouse 1 INP Toulouse F-31400 Toulouse France
In the context of CSPs, a strong backdoor is a subset of variables such that every complete assignment yields a residual instance guaranteed to have a specified property. If the property allows efficient solving, then... 详细信息
来源: 评论
the Non-overlapping constraint between Objects Described by Non-linear Inequalities
The Non-overlapping Constraint between Objects Described by ...
收藏 引用
20th international conference on the principles and practice of constraint programming (CP)
作者: Salas, Ignacio Chabert, Gilles Goldsztejn, Alexandre Mines Nantes LINA UMR 6241 Nantes France CNRS LINA UMR 6241 F-75700 Paris France
Packing 2D objects in a limited space is an ubiquitous problem with many academic and industrial variants. In any case, solving this problem requires the ability to determine where a first object can be placed so that... 详细信息
来源: 评论
Worst-Case Scheduling of Software Tasks A constraint Optimization Model to Support Performance Testing
Worst-Case Scheduling of Software Tasks A Constraint Optimiz...
收藏 引用
20th international conference on the principles and practice of constraint programming (CP)
作者: Di Alesio, Stefano Nejati, Shiva Briand, Lionel Gotlieb, Arnaud Simula Res Lab Certus Ctr Software Verificat & Validat Oslo Norway Univ Luxembourg Interdisciplinary Ctr Reliabil Secur & Trust SnT Luxembourg Luxembourg
Real-Time Embedded Systems (RTES) in safety-critical domains, such as maritime and energy, must satisfy strict performance requirements to be deemed safe. therefore, such systems have to be thoroughly tested to ensure... 详细信息
来源: 评论
Computing a Payoff Division in the Least Core for MC-nets Coalitional Games  1
收藏 引用
17th international conference on principles and practice of Multi-Agent Systems (PRIMA)
作者: Hirayama, Katsutoshi Hanada, Kenta Ueda, Suguru Yokoo, Makoto Iwasaki, Atsushi Kobe Univ Kobe Hyogo Japan Natl Inst Informat Kumamoto Japan Kyushu Univ Fukuoka Japan Univ Elect Commnunicat Tokyo Japan
MC-nets is a concise representation of the characteristic functions that exploits a set of rules to compute payoffs. Given a MC-nets instance, the problem of computing a payoff division in the least core, which is a g... 详细信息
来源: 评论
A complete solver for constraint games
A complete solver for constraint games
收藏 引用
20th international conference on the principles and practice of constraint programming, CP 2014
作者: Nguyen, thi-Van-Anh Lallouet, Arnaud GREYC Université de Caen Campus Côte de Nacre Boulevard du Maréchal Juin BP 5186 14032 Caen Cedex France
Game theory studies situations in which multiple agents having conflicting objectives have to reach a collective decision. the question of a compact representation language for agents utility function is of crucial im... 详细信息
来源: 评论
the balance constraint family
The balance constraint family
收藏 引用
20th international conference on the principles and practice of constraint programming, CP 2014
作者: Bessiere, Christian Hebrard, Emmanuel Katsirelos, George Kiziltan, Zeynep Picard-Cantin, Émilie Quimper, Claude-Guy Walsh, Toby CNRS University of Montpellier France LAAS-CNRS Toulouse France INRA Toulouse France DISI University of Bologna Italy Université Laval Canada NICTA University of New South Wales Australia
the Balance constraint introduced by Beldiceanu ensures solutions are balanced. this is useful when, for example, there is a requirement for solutions to be fair. Balance bounds the difference B between the minimum an... 详细信息
来源: 评论
Automatically improving constraint models in savile row through associative-commutative common subexpression elimination
Automatically improving constraint models in savile row thro...
收藏 引用
20th international conference on the principles and practice of constraint programming, CP 2014
作者: Nightingale, Peter Akgün, Özgür Gent, Ian P. Jefferson, Christopher Miguel, Ian School of Computer Science University of St. Andrews St.-Andrews Fife-KY16 9SX United Kingdom
When solving a problem using constraint programming, constraint modelling is widely acknowledged as an important and difficult task. Even a constraint modelling expert may explore many models and spend considerable ti... 详细信息
来源: 评论
principles and practice of constraint programming - 18th international conference, CP 2012, Proceedings
Principles and Practice of Constraint Programming - 18th Int...
收藏 引用
18th international conference on principles and practice of constraint programming, CP 2012
the proceedings contain 71 papers. the topics discussed include: constraint programming and a usability quest;optimization challenges in smart grid operations;where are the interesting problems?;a generic method for i...
来源: 评论
State-of-the-Art: A Systematic Literature Review on Agile Information Systems Development
State-of-the-Art: A Systematic Literature Review on Agile In...
收藏 引用
Hawaii international conference on System Sciences
作者: Markus Hummel Goethe University
principles of agile information systems development (ISD) have attracted the interest of practice as well as research. the goal of this literature review is to validate, update and extend previous reviews in terms of ... 详细信息
来源: 评论
Revisiting the Cardinality Reasoning for BinPacking constraint
Revisiting the Cardinality Reasoning for BinPacking Constrai...
收藏 引用
19th Annual international conference on principles and practice of constraint programming (CP)
作者: Pelsser, Francois Schaus, Pierre Regin, Jean-Charles UCLouvain ICTEAM Pl Sainte Barbe 2 B-1348 Louvain Belgium Univ Nice Sophia Antipolis I3S CNRS UMR 6070 Nice France
In a previous work, we introduced a filtering for the Bin-Packing constraint based on a cardinality reasoning for each bin combined with a global cardinality constraint. We improve this filtering with an algorithm pro... 详细信息
来源: 评论