咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是171-180 订阅
排序:
NECESSARY CONDITIONS FOR TRACTABILITY OF VALUED CSPs
收藏 引用
SIAM JOURNAL ON DISCRETE MAthEMATICS 2015年 第4期29卷 2361-2384页
作者: thapper, Johan Zivny, Stanislav Univ Paris Est F-77454 Paris France Univ Oxford Dept Comp Sci Oxford OX1 3QD England
the connection between constraint languages and clone theory has been a fruitful line of research on the complexity of constraint satisfaction problems. In a recent result, Cohen et al. [SIAM J. Comput., 42 (2013), pp... 详细信息
来源: 评论
Improved algorithms for counting solutions in constraint satisfaction problems
收藏 引用
9th international conference on principles and practice of constraint programming
作者: Angelsmark, O Jonsson, P Linkoping Univ Dept Comp & Informat Sci S-58183 Linkoping Sweden
Counting the number of solutions to CSP instances has vast applications in several areas ranging from statistical physics to artificial intelligence. We provide a new algorithm for counting the number of solutions to ... 详细信息
来源: 评论
the dynamics of dynamic variable ordering heuristics  4th
收藏 引用
4th international conference on principles and practice of constraint programming (CP 98)
作者: Prosser, P Univ Strathclyde Dept Comp Sci Glasgow G1 1XH Lanark Scotland
It has long been accepted that dynamic variable ordering heuristics outperform static orderings. But just how dynamic are dynamic variable ordering heuristics? this paper examines the behaviour of a number of heuristi... 详细信息
来源: 评论
Minimum-Width Confidence Bands via constraint Optimization  23rd
Minimum-Width Confidence Bands via Constraint Optimization
收藏 引用
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)
作者: Berg, Jeremias Oikarinen, Emilia Jarvisalo, Matti Puolamaki, Kai Univ Helsinki Dept Comp Sci HIIT Helsinki Finland Finnish Inst Occupat Hlth Helsinki Finland
the use of constraint optimization has recently proven to be a successful approach to providing solutions to various NP-hard search and optimization problems in data analysis. In this work we extend the use of constra... 详细信息
来源: 评论
Arc Consistency via Linear programming  23rd
Arc Consistency via Linear Programming
收藏 引用
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)
作者: German, Grigori Briant, Olivier Cambazard, Hadrien Jost, Vincent Univ Grenoble Alpes CNRS Grenoble INP G SCOP F-38000 Grenoble France
A typical technique in integer programming for filtering variables is known as variable fixing. the optimal dual solution of the linear relaxation can be used to detect some of the 0/1 variables that must be fixed to ... 详细信息
来源: 评论
Rewriting numeric constraint satisfaction problems for consistency algorithms  5th
收藏 引用
5th international conference on principles and practice of constraint programming (CP 99)
作者: Lottaz, C Swiss Fed Inst Technol AI Lab Dept Comp Sci CH-1015 Lausanne Switzerland
Several constraint satisfaction algorithms focus on numeric constraint satisfaction problems (CSPs). A numeric CSP is defined by a set of variables, their domains, intervals in ?\Re, and the set of constraints, expres...
来源: 评论
constraint symmetry for the soft CSP
Constraint symmetry for the soft CSP
收藏 引用
13th international conference on principles and practice of constraint programming (CP 2007)
作者: Smith, Barbara M. Bistarelli, Stefano O'Sullivan, Barry Univ Leeds Sch Comp Leeds LS2 9JT W Yorkshire England CNR Ist Informat & Telemat I-00185 Pisa Italy Univ G dAnnunzio Dipartimento Sci Pescara Italy Univ Coll Cork Cork Constraint Computat Ctr Cork Ireland
We introduce a definition of constraint symmetry for soft CSPs, based on the definition of constraint symmetry for classical CSPs. We show that the constraint symmetry group of a soft CSP is a subgroup of that of an a... 详细信息
来源: 评论
General symmetry breaking constraints
General symmetry breaking constraints
收藏 引用
12th international conference on principles and practice of constraint programming (CP 2006)
作者: Walsh, Toby Univ New S Wales Natl ICT Australia Sydney NSW Australia Univ New S Wales Sch CSE Sydney NSW Australia
We describe some new propagators for breaking symmetries in constraint satisfaction problems. We also introduce symmetry breaking constraints to deal with symmetries acting simultaneously on variables and values, cond... 详细信息
来源: 评论
Approximate Solution Sampling (and Counting) on AND/OR Spaces
收藏 引用
14th international conference on principles and practice of constraint programming (CP 2008)
作者: Gogate, Vibhav Dechter, Rina Univ Calif Irvine Donald Bren Sch Comp Sci Irvine CA 92697 USA
In this paper, we describe a new algorithm for sampling solutions from a uniform distribution over the solutions of a constraint network. Our new algorithm improves upon the Sampling/Importance Resampling (SIR) compon... 详细信息
来源: 评论
Failed Value Consistencies for constraint Satisfaction
Failed Value Consistencies for Constraint Satisfaction
收藏 引用
15th international conference on principles and practice of constraint programming (CP 2009)
作者: Lecoutre, Christophe Roussel, Olivier Univ Lille Nord France F-59000 Lille France Univ Artois CRIL Lens France CNRS UMR 8188 Lens France
In constraint Satisfaction, basic inferences rely oil some properties of constraint networks, called consistencies, that allow the identification of inconsistent instantiations (also called nogoods). Two main families... 详细信息
来源: 评论