咨询与建议

限定检索结果

文献类型

  • 956 篇 会议
  • 51 篇 期刊文献
  • 19 册 图书

馆藏范围

  • 1,025 篇 电子文献
  • 1 种 纸本馆藏

日期分布

学科分类号

  • 853 篇 工学
    • 833 篇 计算机科学与技术...
    • 495 篇 软件工程
    • 41 篇 信息与通信工程
    • 27 篇 电气工程
    • 17 篇 控制科学与工程
    • 8 篇 机械工程
    • 7 篇 土木工程
    • 6 篇 建筑学
    • 6 篇 化学工程与技术
    • 5 篇 材料科学与工程(可...
    • 5 篇 农业工程
    • 4 篇 力学(可授工学、理...
    • 4 篇 交通运输工程
    • 4 篇 生物工程
    • 3 篇 冶金工程
    • 3 篇 动力工程及工程热...
    • 2 篇 电子科学与技术(可...
    • 2 篇 航空宇航科学与技...
  • 530 篇 理学
    • 422 篇 数学
    • 274 篇 系统科学
    • 18 篇 统计学(可授理学、...
    • 10 篇 物理学
    • 7 篇 生物学
    • 6 篇 化学
  • 62 篇 管理学
    • 54 篇 管理科学与工程(可...
    • 34 篇 工商管理
    • 10 篇 图书情报与档案管...
  • 7 篇 法学
    • 7 篇 社会学
  • 5 篇 经济学
    • 5 篇 应用经济学
  • 5 篇 农学
    • 5 篇 作物学
  • 1 篇 教育学
  • 1 篇 医学
  • 1 篇 军事学

主题

  • 198 篇 constraint theor...
  • 163 篇 constraint satis...
  • 62 篇 constraint progr...
  • 26 篇 constrained opti...
  • 25 篇 computer program...
  • 23 篇 integer programm...
  • 21 篇 answer set progr...
  • 15 篇 logic programmin...
  • 15 篇 artificial intel...
  • 15 篇 scheduling
  • 14 篇 mathematical log...
  • 14 篇 dynamic programm...
  • 13 篇 problem solving
  • 12 篇 linear programmi...
  • 11 篇 global constrain...
  • 11 篇 programming lang...
  • 11 篇 logics and meani...
  • 10 篇 modeling languag...
  • 9 篇 constraint satis...
  • 9 篇 combinatorial op...

机构

  • 18 篇 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 篇 natl univ singap...
  • 6 篇 cork constraint ...
  • 6 篇 chinese univ hon...
  • 5 篇 161 rue ada mont...
  • 5 篇 cornell univ dep...
  • 5 篇 univ coll cork d...
  • 5 篇 univ st andrews ...
  • 5 篇 ben gurion univ ...
  • 5 篇 department of co...
  • 5 篇 univ coll cork c...

作者

  • 31 篇 stuckey peter j.
  • 28 篇 o'sullivan barry
  • 22 篇 van hentenryck p...
  • 20 篇 freuder eugene c...
  • 17 篇 walsh toby
  • 17 篇 quimper claude-g...
  • 15 篇 miguel ian
  • 15 篇 michel laurent
  • 15 篇 bessiere christi...
  • 14 篇 beldiceanu nicol...
  • 14 篇 schaus pierre
  • 14 篇 schulte christia...
  • 12 篇 smith barbara m.
  • 12 篇 hebrard emmanuel
  • 12 篇 pesant gilles
  • 11 篇 régin jean-charl...
  • 11 篇 beck j. christop...
  • 10 篇 hnich brahim
  • 10 篇 gent ian p.
  • 10 篇 rueher michel

语言

  • 1,023 篇 英文
  • 3 篇 中文
检索条件"任意字段=10th International Conference on the Principles and Practice of Constraint Programming"
1026 条 记 录,以下是291-300 订阅
排序:
BlockSolve: A bottom-up approach for solving quantified CSPs
BlockSolve: A bottom-up approach for solving quantified CSPs
收藏 引用
12th international conference on principles and practice of constraint programming (CP 2006)
作者: Verger, Guillaume Bessiere, Christian Univ Montpellier CNRS LIRMM F-34059 Montpellier France
thanks to its extended expressiveness, the quantified constraint satisfaction problem (QCSP) can be used to model problems that are difficult to express in the standard CSP formalism. this is only recently that the co... 详细信息
来源: 评论
Fuzzifying the constraint hierarchies framework  4th
收藏 引用
4th international conference on principles and practice of constraint programming (CP 98)
作者: Kam, RWL Lee, JHM Chinese Univ Hong Kong Dept Comp Sci & Engn Shatin Hong Kong Peoples R China
the constraint Hierarchy (CH) framework is used to tackle multiple criteria selection (MCS), consisting of a set of candidates and a set of, possibly competing, criteria for selecting the "best" candidate(s)... 详细信息
来源: 评论
A dynamic programming based algorithm for post-scheduling frequency assignment in energy-efficient high-level synthesis
A dynamic programming based algorithm for post-scheduling fr...
收藏 引用
2010 10th IEEE international conference on Solid-State and Integrated Circuit Technology
作者: Chen, Song Yao, Yuan Yoshimura, Takeshi Graduate School of Information Production and Systems Waseda University Hibikino 2-7 Wakamatsu-ku Kitakyushu 808-0135 Japan
Scaling frequency and voltage in a coordinated manner is a promising way to reduce energy and power. we explore the use of dynamic frequency clocking within the datapath and datapath scheduling algorithms that can be ... 详细信息
来源: 评论
Languages versus packages for constraint problem solving
收藏 引用
9th international conference on principles and practice of constraint programming
作者: Wallace, M Univ London Imperial Coll Sci Technol & Med London England
One strand of CP research seeks to design a small set of primitives and operators that can be used to build an appropriate algorithm for solving any given combinatorial problem. the aim is to "package" CP, s... 详细信息
来源: 评论
Reformulation Based MaxSAT Robustness
Reformulation Based MaxSAT Robustness
收藏 引用
20th international conference on the principles and practice of constraint programming (CP)
作者: Bofill, Miquel Busquets, Didac Villaret, Mateu Univ Girona Dept Informat Matemat Aplicada & Estadist Girona Spain Imperial Coll London Dept Elect & Elect Engn London England
the presence of uncertainty in the real world makes robustness a desirable property of solutions to constraint Satisfaction Problems (CSP). A solution is said to be robust if it can be easily repaired when unexpected ... 详细信息
来源: 评论
SAT Modulo theories: Getting the Best of SAT and Global constraint Filtering
SAT Modulo Theories: Getting the Best of SAT and Global Cons...
收藏 引用
16th Annual international conference on the principles and practice of constraint programming
作者: Nieuwenhuis, Robert Tech Univ Catalonia UPC Barcelona Spain
the propositional satisfiability problem (SAT) is one of the simplest instances of constraint programming (CP): variables are bi-valued (can only take values 0 or 1), and all constraints are clauses (disjunctions of l... 详细信息
来源: 评论
Experimental Comparison of BTD and Intelligent Backtracking: Towards an Automatic Per-instance Algorithm Selector
Experimental Comparison of BTD and Intelligent Backtracking:...
收藏 引用
20th international conference on the principles and practice of constraint programming (CP)
作者: Blet, Loic Ndiaye, Samba Ndojh Solnon, Christine Univ Lyon LIRIS UMR5205 Lyon France
We consider a generic binary CSP solver parameterized by high-level design choices, i.e., backtracking mechanisms, constraint propagation levels, and variable ordering heuristics. We experimentally compare 24 differen... 详细信息
来源: 评论
A cost-based model and algorithms for interleaving solving and elicitation of CSPs
A cost-based model and algorithms for interleaving solving a...
收藏 引用
13th international conference on principles and practice of constraint programming (CP 2007)
作者: Wilson, Nic Grimes, Diarmuid Freuder, Eugene C. Natl Univ Ireland Univ Coll Cork Cork Constraint Comp Ctr Dept Comp Sci Cork Ireland
We consider constraint Satisfaction Problems in which constraints can be initially incomplete, where it is unknown whether certain tuples satisfy the constraint or not. We assume that we can determine such an unknown ... 详细信息
来源: 评论
Solution-Based Phase Saving for CP: A Value-Selection Heuristic to Simulate Local Search Behavior in Complete Solvers  1
收藏 引用
24th international conference on the principles and practice of constraint programming (CP)
作者: Demirovic, Emir Chu, Geoffrey Stuckey, Peter J. Univ Melbourne Sch Comp & Informat Syst Melbourne Vic Australia
Large neighbourhood search, a meta-heuristic, has proven to be successful on a wide range of optimisation problems. the algorithm repeatedly generates and searches through a neighbourhood around the current best solut... 详细信息
来源: 评论
Towards Parallel Non Serial Dynamic programming for Solving Hard Weighted CSP
Towards Parallel Non Serial Dynamic Programming for Solving ...
收藏 引用
16th Annual international conference on the principles and practice of constraint programming
作者: Allouche, David de Givry, Simon Schiex, thomas INRA Unite Biometrie & Intelligence Artificielle UR 875 F-31320 Castanet Tolosan France
We introduce a parallelized version of tree-decomposition based dynamic programming for solving difficult weighted CSP instances on many cores. A tree decomposition organizes cost functions in a tree of collection of ... 详细信息
来源: 评论