咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是201-210 订阅
排序:
A constraint-Based Encoding for Domain-Independent Temporal Planning  1
收藏 引用
24th international conference on the principles and practice of constraint programming (CP)
作者: Bit-Monnot, Arthur Univ Genoa Genoa Italy Univ Sassari Sassari Italy
We present a general constraint-based encoding for domain-independent task planning. Task planning is characterized by causal relationships expressed as conditions and effects of optional actions. Possible actions are... 详细信息
来源: 评论
the IntSat Method for Integer Linear programming
The IntSat Method for Integer Linear Programming
收藏 引用
20th international conference on the principles and practice of constraint programming (CP)
作者: Nieuwenhuis, Robert Barcelogic Com Barcelona Spain
Conflict-Driven Clause-Learning (CDCL) SAT solvers can automatically solve very large real-world problems. To go beyond, and in particular in order to solve and optimize problems involving linear arithmetic constraint... 详细信息
来源: 评论
Lookahead saturation with restriction for SAT
收藏 引用
11th international conference on principles and practice of constraint programming (CP 2005)
作者: Anbulagan Slaney, J Natl ICT Australia Ltd Log & Computat Program Canberra ACT Australia Australian Natl Univ Comp Sci Lab Canberra ACT Australia
We present a new and more efficient heuristic by restricting lookahead saturation (LAS) with NVO (neighbourhood variable ordering) and DEW (dynamic equality weighting). We report on the integration of this heuristic i... 详细信息
来源: 评论
Generic constraint-Based Block Modeling Using constraint programming  25th
Generic Constraint-Based Block Modeling Using Constraint Pro...
收藏 引用
25th international conference on the principles and practice of constraint programming (CP)
作者: Mattenet, Alex Davidson, Ian Nijssen, Siegfried Schaus, Pierre UCLouvain ICTEAM Ottignies Belgium Univ Calif Davis Comp Sci Dept Davis CA 95616 USA
Block modeling has been used extensively in many domains including social science, spatial temporal data analysis and even medical imaging. Original formulations of the problem modeled the problem as a mixed integer p... 详细信息
来源: 评论
Tight cooperation and its application in piecewise linear optimization  5th
收藏 引用
5th international conference on principles and practice of constraint programming (CP 99)
作者: Refalo, P ILOG F-06560 Valbonne France
Many cooperative systems merge a linear constraint solver and a domain reduction solver over finite domains or intervals. the latter handles a high level formulation of the problem and passes domain variable informati... 详细信息
来源: 评论
A Generic Visualization Platform for CP
A Generic Visualization Platform for CP
收藏 引用
16th Annual international conference on the principles and practice of constraint programming
作者: Simonis, Helmut Davern, Paul Feldman, Jacob Mehta, Deepak Quesada, Luis Carlsson, Mats Univ Coll Cork Cork Constraint Computat Ctr Dept Comp Sci Cork Ireland Swedish Inst Comp Sci SICS AB Uppsala Sweden
In this paper we describe the design and implementation of CP-VIZ, a generic visualization platform for constraint programming. It provides multiple views to show the search tree, and the state of constraints and vari... 详细信息
来源: 评论
From Model-Checking to Temporal Logic constraint Solving
From Model-Checking to Temporal Logic Constraint Solving
收藏 引用
15th international conference on principles and practice of constraint programming (CP 2009)
作者: Fages, Francois Rizk, Aurelien INRIA Paris Rocquencourt EPI Contraintes F-78153 Le Chesnay France
In this paper, we show how model-checking can be generalized to temporal logic constraint solving, by considering temporal logic formulae with free variables over some domain D, and by computing a validity domain for ... 详细信息
来源: 评论
the minimum spanning tree constraint
The <i>minimum spanning tree</i> constraint
收藏 引用
12th international conference on principles and practice of constraint programming (CP 2006)
作者: Dooms, Gregoire Katriel, Irit Catholic Univ Louvain Dept Comp Sci & Engn B-3000 Louvain Belgium Univ Aarhus BRICS Aarhus Denmark
the paper introduces the MST(G, T, W) constraint, which is specified on two graph variables G and T and a vector W of scalar variables. the constraint is satisfied if T is a minimum spanning tree of G, where the edge ... 详细信息
来源: 评论
A constraint Composite Graph-Based ILP Encoding of the Boolean Weighted CSP  23rd
A Constraint Composite Graph-Based ILP Encoding of the Boole...
收藏 引用
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)
作者: Xu, Hong Koenig, Sven Kumar, T. K. Satish Univ Southern Calif Los Angeles CA 90089 USA
the weighted constraint satisfaction problem (WCSP) occurs in the crux of many real-world applications of operations research, artificial intelligence, bioinformatics, etc. Despite its importance as a combinatorial su... 详细信息
来源: 评论
Program completion in the input language of GRINGO
收藏 引用
thEORY AND practice OF LOGIC programming 2017年 第5-6期17卷 855-871页
作者: Harrison, Amelia Lifschitz, Vladimir Raju, Dhananjay Dept Comp Sci Austin TX 78712 USA
We argue that turning a logic program into a set of completed definitions can be sometimes thought of as the "reverse engineering" process of generating a set of conditions that could serve as a specificatio... 详细信息
来源: 评论