咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是851-860 订阅
排序:
Exploiting Functional constraints in Automatic Dominance Breaking for constraint Optimization  28
Exploiting Functional Constraints in Automatic Dominance Bre...
收藏 引用
28th international conference on principles and practice of constraint programming, CP 2022
作者: Lee, Jimmy H.M. Zhong, Allen Z. Department of Computer Science and Engineering The Chinese University of Hong Kong Shatin Hong Kong Hong Kong
Dominance breaking is an effective technique to reduce the time for solving constraint optimization problems. Lee and Zhong propose an automatic dominance breaking framework for a class of constraint optimization prob... 详细信息
来源: 评论
Fast, constraint-based threading of HP-sequences to hydrophobic cores  7
收藏 引用
7th international conference on principles and practice of constraint programming, CP 2001
作者: Backofen, Rolf Will, Sebastian Institut für Informatik LMU München Oettingenstraße 67 MünchenD-80538 Germany
Lattice protein models are used for hierarchical approaches to protein structure prediction, as well as for investigating principles of protein folding. So far, one has the problem that there exists no lattice that ca... 详细信息
来源: 评论
Building negative reduced cost paths using constraint programming  7
收藏 引用
7th international conference on principles and practice of constraint programming, CP 2001
作者: Rousseau, Louis-Martin Pesant, Gilles Gendreau, Michel Centre for Research on Transportation Universite de Montreal C.P. 6128 succursale Centre-ville MontrealH3C 3J7 Canada
Column Generation is a powerful method used to solve Constrained Set Partitioning problems. this method can be decomposed in two parts:the master problem and the sub-problem. the Master Problem that should be solved i...
来源: 评论
A relational constraint solver for model-based engineering  8th
收藏 引用
8th international conference on principles and practice of constraint programming, CP 2002
作者: Mauss, Jakob Seelisch, Frank Tatar, Mugur DaimlerChrysler Research Knowledge-Based Engineering Alt-Moabit 96a BerlinD-10559 Germany
Model-based applications in engineering, such as diagnosis,configuration or interactive decision-support systems, require embedded constraint solvers with challenging capabilities. Not only consistency checking and so... 详细信息
来源: 评论
An optimal filtering algorithm for table constraints
An optimal filtering algorithm for table constraints
收藏 引用
18th international conference on principles and practice of constraint programming, CP 2012
作者: Mairy, Jean-Baptiste Van Hentenryck, Pascal Deville, Yves ICTEAM Université Catholique de Louvain Belgium Optimization Research Group NICTA University of Melbourne Australia
Filtering algorithms for table constraints are constraint-based, which means that the propagation queue only contains information on the constraints that must be reconsidered. this paper proposes four efficient value-... 详细信息
来源: 评论
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... 详细信息
来源: 评论
constraint-based register allocation and instruction scheduling
Constraint-based register allocation and instruction schedul...
收藏 引用
18th international conference on principles and practice of constraint programming, CP 2012
作者: Lozano, Roberto Castañeda Carlsson, Mats Drejhammar, Frej Schulte, Christian Sweden School of ICT KTH Royal Institute of Technology Sweden
this paper introduces a constraint model and solving techniques for code generation in a compiler back-end. It contributes a new model for global register allocation that combines several advanced aspects: multiple re... 详细信息
来源: 评论
Leveraging Reinforcement Learning, constraint programming and Local Search: A Case Study in Car Manufacturing  26th
Leveraging Reinforcement Learning, Constraint Programming an...
收藏 引用
26th international conference on principles and practice of constraint programming, CP 2020
作者: Antuori, Valentin Hebrard, Emmanuel Huguet, Marie-José Essodaigui, Siham Nguyen, Alain LAAS-CNRS Université de Toulouse CNRS INSA Toulouse France Renault Boulogne-Billancourt France ANITI Université de Toulouse Toulouse France
the problem of transporting vehicle components in a car manufacturer workshop can be seen as a large scale single vehicle pickup and delivery problem with periodic time windows. Our experimental evaluation indicates t... 详细信息
来源: 评论
Accelerating random walks  8th
收藏 引用
8th international conference on principles and practice of constraint programming, CP 2002
作者: Wei, Wei Selman, Bart Department of Computer Science Cornell University IthacaNY14853 United States
In recent years, there has been much research on local search techniques for solving constraint satisfaction problems, including Boolean satisfiability problems. Some of the most successful procedures combine a form o... 详细信息
来源: 评论
Revisiting the tree constraint
Revisiting the tree constraint
收藏 引用
17th international conference on principles and practice of constraint programming, CP 2011
作者: Fages, Jean-Guillaume Lorca, Xavier École des Mines de Nantes INRIA LINA UMR CNRS 6241 Nantes Cedex 3FR-44307 France
this paper revisits the tree constraint introduced in [2] which partitions the nodes of a n-nodes, m-arcs directed graph into a set of node-disjoint anti-arborescences for which only certain nodes can be tree roo... 详细信息
来源: 评论