咨询与建议

限定检索结果

文献类型

  • 1,005 篇 会议
  • 51 篇 期刊文献
  • 5 册 图书

馆藏范围

  • 1,060 篇 电子文献
  • 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 篇 dynamic programm...
  • 13 篇 problem solving
  • 12 篇 linear programmi...
  • 10 篇 global constrain...
  • 9 篇 modeling languag...
  • 9 篇 constraint satis...
  • 9 篇 combinatorial op...
  • 9 篇 java programming...
  • 7 篇 model checking
  • 7 篇 optimization
  • 7 篇 local search

机构

  • 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,058 篇 英文
  • 3 篇 中文
检索条件"任意字段=9th International Conference on Principles and Practice of Constraint Programming"
1061 条 记 录,以下是781-790 订阅
排序:
Controllability of soft temporal constraint problems
收藏 引用
10th international conference on principles and practice of constraint programming, CP 2004
作者: Rossi, Francesca Venable, Kristen Brent Yorke-Smith, Neil University of Padova Italy IC–Parc Imperial College London United Kingdom
In real-life temporal scenarios, uncertainty and preferences are often essential, coexisting aspects. We present a formalism where temporal constraints with both preferences and uncertainty can be defined. We show how... 详细信息
来源: 评论
A dynamic restart strategy for randomized BT search
收藏 引用
10th international conference on principles and practice of constraint programming, CP 2004
作者: Guddeti, Venkata Praveen Constraint Systems Laboratory University of Nebraska-Lincoln United States
Local search (LS) and multi-agent-based search (ERA [1]) are stochastic and incomplete procedures for solving a constraint Satisfaction Problem (CSP). their performance is seriously undermined by local optima and dead...
来源: 评论
Financial portfolio optimisation
收藏 引用
10th international conference on principles and practice of constraint programming, CP 2004
作者: Flener, Pierre Pearson, Justin Reyna, Luis G. Department of Information Technology Uppsala University Box 337 Uppsala751 05 Sweden Global Private Investment Advisory Group Merrill Lynch New YorkNY10281-1307 United States
We give an approximate and often extremely fast method of solving a portfolio optimisation (PO) problem in financial mathematics, which has applications in the credit derivatives market. Its corresponding satisfaction... 详细信息
来源: 评论
Variable ordering heuristics show promise
收藏 引用
10th international conference on principles and practice of constraint programming, CP 2004
作者: Beck, J. Christopher Prosser, Patrick Wallace, Richard J. Cork Constraint Computation Centre Department of Computer Science University College Cork Cork Ireland Department of Computing Science University of Glasgow United Kingdom
Promise is the ability to make choices that lead to a solution when one exists. the traditional intuition behind variable ordering heuristics is Haralick and Elliotts fail-first principle: choose the variable such tha...
来源: 评论
Local search with maximal independent sets
收藏 引用
10th international conference on principles and practice of constraint programming, CP 2004
作者: Gompert, Joel M. Constraint Systems Laboratory University of Nebraska-Lincoln United States
When solving constraint Satisfaction Problems (CSPs), it is desirable to find multiple solutions, or to find solutions that are robust, allowing us to modify the values of variables without breaking the solution. Furt...
来源: 评论
Structured vs. unstructured large neighborhood search: A case study on job-shop scheduling problems with earliness and tardiness costs
收藏 引用
9th international conference on principles and practice of constraint programming
作者: Danna, E Perron, L ILOG F-94253 Gentilly France CNRS FRE 2487 Lab Informat Avignon F-84911 Avignon 9 France
来源: 评论
Search programming  9th
收藏 引用
9th international conference on principles and practice of constraint programming, CP 2003
作者: Legierski, Wojciech Institute of Automatic Control Silesian Technical University Akademicka 16 Gliwice Poland
来源: 评论
Self configuring constraint programming systems  9th
收藏 引用
9th international conference on principles and practice of constraint programming, CP 2003
作者: Carchrae, Tom Cork Constraint Computation Centre Department of Computer Science University College Cork Cork Ireland
来源: 评论
Distributed constraint-based railway simulation  9th
收藏 引用
9th international conference on principles and practice of constraint programming, CP 2003
作者: Schlenker, Hans Fraunhofer FIRST Kekuléstraße 7 Berlin Germany
来源: 评论
constraint programming for modelling and solving modal satisfiability
收藏 引用
9th international conference on principles and practice of constraint programming
作者: Brand, S Gennari, R de Rijke, M CWI NL-1009 AB Amsterdam Netherlands IRST ITC Trenton NJ USA Univ Amsterdam ILLC Language & Inference Technol Grp NL-1012 WX Amsterdam Netherlands
We explore to what extent and how efficiently constraint programming can be used in the context of automated reasoning for modal logics. We encode modal satisfiability problems as constraint satisfaction problems with... 详细信息
来源: 评论