咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是251-260 订阅
排序:
Evolving variable-ordering heuristics for constrained optimisation
收藏 引用
11th international conference on principles and practice of constraint programming (CP 2005)
作者: Bain, S thornton, J Sattar, A Institute for Integrated and Intelligent Systems Griffith University GCMC 9726 PMB 50 Australia
In this paper we present and evaluate an evolutionary approach for learning new constraint satisfaction algorithms, specifically for MAX-SAT optimisation problems. Our approach offers two significant advantages over e... 详细信息
来源: 评论
A constraint-aided conceptual design environment for autodesk inventor
收藏 引用
9th international conference on principles and practice of constraint programming
作者: Holland, A O'Callaghan, B O'Sullivan, B Natl Univ Ireland Univ Coll Cork Cork Constraint Computat Ctr Dept Comp Sci Cork Ireland
Engineering conceptual design can be defined as that phase of the product development process during which the designer takes a specification for a product to be designed and generates many broad solutions for it. It ... 详细信息
来源: 评论
constraint based resilience analysis
Constraint based resilience analysis
收藏 引用
12th international conference on principles and practice of constraint programming (CP 2006)
作者: Simonis, Helmut CrossCore Optimizat Ltd London England
tIn this paper we give an overview of applications of constraint programming for IP (Internet Protocol) data networks, and discuss the problem of Resilience Analysis in more detail. In this problem we try to predict t... 详细信息
来源: 评论
Computing All Optimal Solutions in Satisfiability Problems with Preferences
收藏 引用
14th international conference on principles and practice of constraint programming (CP 2008)
作者: Di Rosa, Emanuele Giunchiglia, Enrico Maratea, Marco Univ Genoa DIST I-16145 Genoa Italy
the problem of finding an optimal solution in a constraint satisfaction problem with preferences has attracted a lot of researchers in Artificial Intelligence in general, and in the constraint programming community in... 详细信息
来源: 评论
Time-Table Extended-Edge-Finding for the Cumulative constraint
Time-Table Extended-Edge-Finding for the Cumulative Constrai...
收藏 引用
19th Annual international conference on principles and practice of constraint programming (CP)
作者: Ouellet, Pierre Quimper, Claude-Guy Univ Laval Quebec City PQ Canada
We propose a new filtering algorithm for the cumulative constraint. It applies the Edge-Finding, the Extended-Edge-Finding and the Time-Tabling rules in O(kn log n) where k is the number of distinct task heights. By a... 详细信息
来源: 评论
Soft arc consistency applied to optimal planning
Soft arc consistency applied to optimal planning
收藏 引用
12th international conference on principles and practice of constraint programming (CP 2006)
作者: Cooper, Martin Cussat-Blanc, Sylvain de Roquemaurel, Marie Regnier, Pierre Univ Toulouse 3 IRIT F-31062 Toulouse 9 France
We show in this article(1) how the Weighted CSP framework can be used to solve an optimisation version of numerical planning. the WCSP finds an optimal plan in the planning graph containing all solution plans of minim... 详细信息
来源: 评论
Solving String constraints: the Case for constraint programming
Solving String Constraints: The Case for Constraint Programm...
收藏 引用
19th Annual international conference on principles and practice of constraint programming (CP)
作者: He, Jun Flener, Pierre Pearson, Justin Zhang, Wei Ming Uppsala Univ Dept Informat Technol Uppsala Sweden Natl Univ Def Technol Sch Informat Syst & Management Changsha Hunan Peoples R China
We improve an existing propagator for the context-free grammar constraint and demonstrate experimentally the practicality of the resulting propagator. the underlying technique could be applied to other existing propag... 详细信息
来源: 评论
Flow-Based Propagators for the SEQUENCE and Related Global constraints
收藏 引用
14th international conference on principles and practice of constraint programming (CP 2008)
作者: Maher, Michael Narodytska, Nina Quimper, Claude-Guy Walsh, Toby NICTA Sydney NSW Australia Univ Rochester Dept Elect & Elect Engn Rochester NY 14627 USA
We propose new filtering algorithms for the SEQUENCE constraint and some extensions of the SEQUENCE constraint based on network flows. We enforce domain consistency on the SEQUENCE constraint in O(n(2)) time down a br... 详细信息
来源: 评论
Using graph decomposition for solving continuous CSPs  4th
收藏 引用
4th international conference on principles and practice of constraint programming (CP 98)
作者: Bliek, C Neveu, B Trombettoni, G Ecole Polytech Fed Lausanne Artificial Intelligence Lab CH-1015 Lausanne Switzerland CERMICS Equipe Contraintes F-06902 Sophia Antipolis France
In practice, constraint satisfaction problems are often structured. By exploiting this structure, solving algorithms can make important gains in performance. In this paper, we focus on structured continuous CSPs defin... 详细信息
来源: 评论
A constraint programming Approach for Solving Patient Transportation Problems  1
收藏 引用
24th international conference on the principles and practice of constraint programming (CP)
作者: Cappart, Quentin thomas, Charles Schaus, Pierre Rousseau, Louis-Martin Catholic Univ Louvain Louvain La Neuve Belgium Ecole Polytech Montreal Montreal PQ Canada Interuniv Res Ctr Enterprise Networks Logist & Tr Montreal PQ Canada
the Patient Transportation Problem (PTP) aims to bring patients to health centers and to take them back home once the care has been delivered. All the requests are known beforehand and a schedule is built the day befo... 详细信息
来源: 评论