咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是811-820 订阅
排序:
Using integer linear programming methods for optimizing the real-time pump scheduling  9
Using integer linear programming methods for optimizing the ...
收藏 引用
9th international conference on the practice and theory of Automated Timetabling, PATAT 2012
作者: de la Perriere, Louise Brac Jouglet, Antoine Nace, Alexandre Nace, Dritan Laboratoire Heudiasyc UMR CNRS 7253 Universite de Technologie de Compiegne Centre de Recherches de Royallieu BP 20529 COMPIEGNE Cedex60205 France Lyonnaise des Eaux Ondeo Systems 38 rue du president Wilson Le Pecq78230 France
the work presented in this talk deals with the management of a drinking water distribution network in terms of planning the use of different installations (treatment works, pumping stations, and valves) in order to co... 详细信息
来源: 评论
A job dispatcher for large and heterogeneous HPC systems running modern applications  27
A job dispatcher for large and heterogeneous HPC systems run...
收藏 引用
27th international conference on principles and practice of constraint programming, CP 2021
作者: Galleguillos, Cristian Kiziltan, Zeynep Soto, Ricardo Pontificia Universidad Católica de Valparaíso Chile University of Bologna Italy
High-performance Computing (HPC) systems have become essential instruments in our modern society. As they get closer to exascale performance, HPC systems become larger in size and more heterogeneous in their computing... 详细信息
来源: 评论
Binary constraint Trees and Structured Decomposability  29
Binary Constraint Trees and Structured Decomposability
收藏 引用
29th international conference on principles and practice of constraint programming, CP 2023
作者: Kučera, Petr Department of Theoretical Computer Science and Mathematical Logic Faculty of Mathematics and Physics Charles University Prague Czech Republic
A binary constraint tree (BCT, Wang and Yap 2022) is a normalized binary CSP whose constraint graph is a tree. A BCT constraint is a constraint represented with a BCT where some of the variables may be hidden (i.e. ex... 详细信息
来源: 评论
Feature term subsumption using constraint programming with basic variable symmetry
Feature term subsumption using constraint programming with b...
收藏 引用
18th international conference on principles and practice of constraint programming, CP 2012
作者: Ontañón, Santiago Meseguer, Pedro Computer Science Department Drexel University Philadelphia PA 19104 United States IIIA-CSIC Universitat Autònoma de Barcelona Bellaterra 08193 Spain
Feature Terms are a generalization of first-order terms which have been recently received increased attention for their usefulness in structured machine learning applications. One of the main obstacles for their wide ... 详细信息
来源: 评论
Pseudo-Boolean Reasoning about States and Transitions to Certify Dynamic programming and Decision Diagram Algorithms  30
Pseudo-Boolean Reasoning about States and Transitions to Cer...
收藏 引用
30th international conference on principles and practice of constraint programming, CP 2024
作者: Demirovic, Emir McCreesh, Ciaran McIlree, Matthew J. Nordström, Jakob Oertel, Andy Sidorov, Konstantin TU Delft Netherlands University of Glasgow United Kingdom University of Copenhagen Denmark Lund University Sweden
Pseudo-Boolean proof logging has been used successfully to provide certificates of optimality from a variety of constraint- and satisifability-style solvers that combine reasoning with a backtracking or clause-learnin... 详细信息
来源: 评论
principles and practice of constraint programming - CP 2009  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Ian P. Gent
this volume contains the papers presented at CP 2009: the 15th international conference on principles and practice of constraint programming. It was held from September 20–24, 2009 at the Rectory of the New Universit... 详细信息
来源: 评论
Generic SBDD using computational group theory
收藏 引用
9th international conference on principles and practice of constraint programming, CP 2003
作者: Gent, Ian P. Harvey, Warwick Kelsey, Tom Linton, Steve School of Computer Science University of St Andrews St Andrews FifeKY16 9SS United Kingdom IC-Parc Imperial College London Exhibition Road LondonSW7 2AZ United Kingdom
We introduce a novel approach for symmetry breaking by dominance detection (SBDD). the essence of SBDD is to perform ‘dominance checks’ at each node in a search tree to ensure that no symmetrically equivalent node h... 详细信息
来源: 评论
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... 详细信息
来源: 评论
A constraint seeker: Finding and ranking global constraints from examples
A constraint seeker: Finding and ranking global constraints ...
收藏 引用
17th international conference on principles and practice of constraint programming, CP 2011
作者: Beldiceanu, Nicolas Simonis, Helmut Mines de Nantes France Cork Constraint Computation Centre Department of Computer Science University College Cork Ireland
In this paper we describe a constraint Seeker application which provides a web interface to search for global constraints in the global constraint catalog, given positive and negative, fully instantiated (ground) exam... 详细信息
来源: 评论
Specific filtering algorithms for over-constrained problems  7
收藏 引用
7th international conference on principles and practice of constraint programming, CP 2001
作者: Petit, thierry Règin, Jean-Charles Bessière, Christian ILOG 1681 route des Dolines Valbonne06560 France 161 rue Ada Montpellier Cedex 534392 France
In recent years, many constraint-specific filtering algorithms have been introduced. Such algorithms use the semantics of the constraint to perform filtering more efficiently than a generic algorithm. the usefulness o... 详细信息
来源: 评论