咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是261-270 订阅
排序:
Kernelization of constraint Satisfaction Problems: A Study through Universal Algebra  23rd
Kernelization of Constraint Satisfaction Problems: A Study T...
收藏 引用
33rd international conference on Logic programming / 23rd international conference on principles and practice of constraint programming (CP) / 20th international conference on theory and Applications of Satisfiability Testing (SAT)
作者: Lagerkvist, Victor Wahlstrom, Magnus Tech Univ Dresden Inst Algebra Dresden Germany Royal Holloway Univ London Dept Comp Sci Egham Surrey England
A kernelization algorithm for a computational problem is a procedure which compresses an instance into an equivalent instance whose size is bounded with respect to a complexity parameter. For the constraint satisfacti... 详细信息
来源: 评论
CPBPV: a constraint-programming framework for bounded program verification
收藏 引用
constraintS 2010年 第2期15卷 238-264页
作者: Collavizza, Helene Rueher, Michel Van Hentenryck, Pascal Univ Nice Sophia Antipolis CNRS I3S F-06903 Sophia Antipolis France Brown Univ Providence RI 02912 USA
this paper studies how to verify the conformity of a program with its specification and proposes a novel constraint-programming framework for bounded program verification (CPBPV). the CPBPV framework uses constraint s... 详细信息
来源: 评论
Random constraint satisfaction: theory meets practice  4th
收藏 引用
4th international conference on principles and practice of constraint programming (CP 98)
作者: MacIntyre, E Prosser, P Smith, B Walsh, T Univ Strathclyde APES Res Grp Dept Comp Sci Glasgow Lanark Scotland Univ Leeds Sch Comp Studies APES Res Grp Leeds LS2 9JT W Yorkshire England
We study the experimental consequences of a recent theoretical result by Achlioptas et al. that shows that conventional models of random problems are trivially insoluble in the limit. We survey the literature to ident... 详细信息
来源: 评论
Continuous Casting Scheduling with constraint programming
Continuous Casting Scheduling with Constraint Programming
收藏 引用
20th international conference on the principles and practice of constraint programming (CP)
作者: Gay, Steven Schaus, Pierre De Smedt, Vivian Catholic Univ Louvain Louvain Belgium PSI Met Dusseldorf Belgium
Although the Steel Mill Slab problem (prob 38 of CSPLib) has already been studied by the CP community, this approach is unfortunately not used anymore by steel producers since last century. Continuous casting is prefe... 详细信息
来源: 评论
A Coinduction Rule for Entailment of Recursively Defined Properties
收藏 引用
14th international conference on principles and practice of constraint programming (CP 2008)
作者: Jaffar, Joxan Santosa, Andrew E. Voicu, Razvan Natl Univ Singapore Sch Comp Singapore 117543 Singapore
Recursively defined properties are ubiquitous. We present a proof method for establishing entailment G satisfies H of such properties G and H over a set of common variables. the main contribution is a particular proof... 详细信息
来源: 评论
On Testing constraint Programs
On Testing Constraint Programs
收藏 引用
16th Annual international conference on the principles and practice of constraint programming
作者: Lazaar, Nadjib Gotlieb, Arnaud Lebbah, Yahia INRIA Rennes Bretagne Atlantique Campus Beaulieu F-35042 Rennes France Univ Oran Es Senia LITIO Orange NSW Australia Univ Nice Sophia Antipolis Antipolis France
the success of several constraint-based modeling languages such as OPL, ZINC, or COMET, appeals for better software engineering practices, particularly in the testing phase. this paper introduces a testing framework e... 详细信息
来源: 评论
constraint Handling in Flight Planning  23rd
Constraint Handling in Flight Planning
收藏 引用
33rd international conference on Logic programming / 23rd international conference on principles and practice of constraint programming (CP) / 20th international conference on theory and Applications of Satisfiability Testing (SAT)
作者: Knudsen, Anders Nicolai Chiarandini, Marco Larsen, Kim S. Univ Southern Denmark Dept Math & Comp Sci Campusvej 55 DK-5230 Odense M Denmark
Flight routes are paths in a network, the nodes of which represent waypoints in a 3D space. A common approach to route planning is first to calculate a cheapest path in a 2D space, and then to optimize the flight cost... 详细信息
来源: 评论
Multi-Objective Large Neighborhood Search
Multi-Objective Large Neighborhood Search
收藏 引用
19th Annual international conference on principles and practice of constraint programming (CP)
作者: Schaus, Pierre Hartert, Renaud UCLouvain ICTEAM B-1348 Louvain Belgium
Large neighborhood search (LNS) [25] is a framework that combines the expressiveness of constraint programming with the efficiency of local search to solve combinatorial optimization problems. this paper introduces an... 详细信息
来源: 评论
Modelling CSP solution algorithms with Petri decision nets  4th
收藏 引用
4th international conference on principles and practice of constraint programming (CP 98)
作者: Pontow, S Tech Univ Hamburg Harburg Dept Proc Automat Techniques D-21071 Hamburg Germany
the constraint paradigm provides powerful concepts to represent and solve different kinds of planning problems. Typically a large and conflicting set of restrictions, objectives and preferences has to be considered fo... 详细信息
来源: 评论
constraint techniques for solving the protein structure prediction problem  4th
收藏 引用
4th international conference on principles and practice of constraint programming (CP 98)
作者: Backofen, R LMU Munchen Inst Informat D-80538 Munich Germany
the protein structure prediction problem is one of the most (if not the most) important problem in computational biology. this problem consists of finding the conformation of a protein (i.e., a sequence of amino-acids... 详细信息
来源: 评论