咨询与建议

限定检索结果

文献类型

  • 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...
  • 25 篇 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,072 篇 英文
  • 3 篇 中文
  • 1 篇 其他
检索条件"任意字段=9th International Conference on Principles and Practice of Constraint Programming"
1076 条 记 录,以下是711-720 订阅
programming with TOY(FD)
收藏 引用
11th international conference on principles and practice of constraint programming - CP 2005
作者: Fernández, Antonio J. Hortalá-González, Teresa Sáenz-Pérez, Fernando Dpto. Lenguajes y Ciencias de la Computación Univ. of Malaga Spain Dpto. Sist. Inf. y Prog. Univ. Complutense of Madrid Spain
In [1] we presented the language TOY (FD) that integrates the best features of existing functional and logic languages, as well as finite domain (FD) constraint solving. We believe that TOY (FD) is more flexible and e... 详细信息
来源: 评论
A constraint based agent for TAC-SCM
收藏 引用
11th international conference on principles and practice of constraint programming - CP 2005
作者: Burke, David A. Brown, Kenneth N. Cork Constraint Computation Centre Department of Computer Science University College Cork Ireland
the annual international Trading Agent Competition-Supply Chain Management (TAC-SCM) game is based around the manufacture and supply of PCs. there are multiple agents in the game, scheduling production, competing for ... 详细信息
来源: 评论
AC-*: A configurable, generic and adaptive arc consistency algorithm
收藏 引用
11th international conference on principles and practice of constraint programming - CP 2005
作者: Régin, Jean-Charles Computing and Information Science Cornell University Ithaca NY 14850 United States
In this paper, we present AC-*, a new configurable, generic and adaptive algorithm for establishing arc consistency for binary constraints. AC-* is configurable, that is by combining some parameters AC-* corresponds t... 详细信息
来源: 评论
Factor analytic studies of CSP heuristics
收藏 引用
11th international conference on principles and practice of constraint programming - CP 2005
作者: Wallace, Richard J. Cork Constraint Computation Centre Department of Computer Science University College Cork Cork Ireland
Factor analysis is a statistical technique for reducing the number of factors responsible for a matrix of correlations to a smaller number of factors that may reflect underlying variables. In this study factor analysi... 详细信息
来源: 评论
Dimensioning an inbound call center using constraint programming
收藏 引用
11th international conference on principles and practice of constraint programming - CP 2005
作者: Canon, Cyril Billaut, Jean-Charles Bouquard, Jean-Louis Vitalicom 643 avenue du grain d'or 41350 Vineuil France Université François-Rabelais de Tours Laboratoire d'Informatique 64 avenue Jean Portails 37200 Tours France
One of the critical problems in the call center industries is the staffing problem, since they must face variable demands and because staff costs represent a major part of the costs of these industries. Prom a modelin... 详细信息
来源: 评论
Uncertainty in soft constraint problems
收藏 引用
11th international conference on principles and practice of constraint programming - CP 2005
作者: Pini, Maria Silvia Rossi, Francesca University of Padova Italy
Preferences and uncertainty occur in many real-life problems. We are concerned with the coexistence of preference and uncertainty in the same problem. In particular, we consider uncertainty, defined by the theory of p... 详细信息
来源: 评论
Domain reduction for the circuit constraint
收藏 引用
11th international conference on principles and practice of constraint programming - CP 2005
作者: Kaya, Latife Genc Hooker, John Carnegie Mellon University Pittsburgh PA 15213 United States
We present an incomplete filtering algorithm for the circuit constraint. the filter removes redundant values by eliminating non-Hamiltonian edges from the associated graph. We prove a necessary condition for an edge t... 详细信息
来源: 评论
Randomization for multi-agent constraint optimization
收藏 引用
11th international conference on principles and practice of constraint programming - CP 2005
作者: Nguyen, Quang Huy Faltings, Boi V. Switzerland
In a constraint optimization problem for multiple agents, the agents have conflicting preferences in the final solution and the goal is to find an optimal assignment that maximizes total utilities of all agents. Two m... 详细信息
来源: 评论
Probabilistic Arc consistency
收藏 引用
11th international conference on principles and practice of constraint programming - CP 2005
作者: Mehta, Deepak Van Dongen, M.R.C. Boole Centre for Research in Informatics Cork Constraint Computation Centre
the two most popular algorithms for solving constraint Satisfaction Problems are Forward Checking (FC) [1] and Maintaining Arc Consistency (MAC) [2]. MAC maintains full arc consistency while FC maintains a limited for... 详细信息
来源: 评论
10th international conference on principles and practice of constraint programming, CP 2004
收藏 引用
10th international conference on principles and practice of constraint programming, CP 2004
the proceedings contain 97 papers. the special focus in this conference is on principles and practice of constraint programming. the topics include: constraints in program analysis and verification;algorithmic adventu...
来源: 评论