咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是341-350 订阅
排序:
Robust benchmark set selection for Boolean constraint solvers  1
收藏 引用
7th international conference on Learning and Intelligent Optimization, LION 7
作者: Hoos, Holger H. Kaufmann, B. Schaub, T. Schneider, M. Department of Computer Science University of British Columbia Vancouver BC Canada Institute of Computer Science University of Potsdam Potsdam Germany
We investigate the composition of representative benchmark sets for evaluating and improving the performance of robust Boolean constraint solvers in the context of satisfiability testing and answer set programming. St... 详细信息
来源: 评论
A constraint programming approach to the traveling tournament problem with predefined venues  9
A constraint programming approach to the traveling tournamen...
收藏 引用
9th international conference on the practice and theory of Automated Timetabling, PATAT 2012
作者: Pesant, Gilles École Polytechnique de Montréal Canada
the Traveling Tournament Problem with Predefined Venues (TTPPV) has been introduced as an abstraction of sports scheduling. Exact integer programming and heuristic approaches have been proposed so far. We investigate ... 详细信息
来源: 评论
principles and practice of constraint programming, CP 2011 - 17th international conference, Proceedings
Principles and Practice of Constraint Programming, CP 2011 -...
收藏 引用
17th international conference on principles and practice of constraint programming, CP 2011
the proceedings contain 59 papers. the topics discussed include: orchestrating satisfiability engines;operations research and constraint programming at Google;a constraint seeker: finding and ranking global constraint...
来源: 评论
17th international conference on principles and practice of constraint programming, CP 2011
17th International Conference on Principles and Practice of ...
收藏 引用
17th international conference on principles and practice of constraint programming, CP 2011
the proceedings contain 61 papers. the special focus in this conference is on principles and practice of constraint programming. the topics include: Neuron constraints to model complex real-world problems;A constraint...
来源: 评论
A tour scheduling problem with fixed jobs: Use of constraint programming  9
A tour scheduling problem with fixed jobs: Use of constraint...
收藏 引用
9th international conference on the practice and theory of Automated Timetabling, PATAT 2012
作者: Lapègue, Tanguy Prot, Damien Bellenguez-Morineau, Odile 44307 Nantes Cedex 3 Nantes France
this paper presents a constraint programming approach to solve a specific scheduling problem arising in a company specialized in drug evaluation and pharmacology research. the aim is to build employee timetables cover... 详细信息
来源: 评论
Where are the interesting problems?
Where are the interesting problems?
收藏 引用
18th international conference on principles and practice of constraint programming, CP 2012
作者: O'Sullivan, Barry Cork Constraint Computation Centre Department of Computer Science University College Cork Ireland
constraint programming has become an important technology for solving hard combinatorial problems in a diverse range of application domains. It has its roots in artificial intelligence, mathematical programming, opera... 详细信息
来源: 评论
constraint programming and a usability quest
Constraint programming and a usability quest
收藏 引用
18th international conference on principles and practice of constraint programming, CP 2012
作者: Michel, Laurent D. University of Connecticut Storrs CT 06269-2155 United States
In 2004, Jean-Francois Puget presented [2] an analysis of the "simplicity of Use" of constraint programming from which he articulated a series of challenges to make constraint programming systems accessible ... 详细信息
来源: 评论
Inter-instance nogood learning in constraint programming
Inter-instance nogood learning in constraint programming
收藏 引用
18th international conference on principles and practice of constraint programming, CP 2012
作者: Chu, Geoffrey Stuckey, Peter J. National ICT Australia Department of Computer Science and Software Engineering University of Melbourne Australia
Lazy Clause Generation is a powerful approach to reducing search in constraint programming. this is achieved by recording sets of domain restrictions that previously led to failure as new clausal propagators called no... 详细信息
来源: 评论
Proceedings of the 9th international conference on the principles and practice of programming in Java, PPPJ 2011
Proceedings of the 9th International Conference on the Princ...
收藏 引用
9th international conference on principles and practice of programming in Java, PPPJ 2011
the proceedings contain 20 papers. the topics discussed include: Quarantine: a framework to mitigate memory errors in JNI applications;portable and accurate collection of calling-context-sensitive byte-code metrics fo...
来源: 评论
the semigroups of order 10
The semigroups of order 10
收藏 引用
18th international conference on principles and practice of constraint programming, CP 2012
作者: Distler, Andreas Jefferson, Chris Kelsey, Tom Kotthoff, Lars Centro de Álgebra Universidade de Lisboa Lisboa 1649-003 Portugal School of Computer Science University of St. Andrews KY16 9SX United Kingdom
the number of finite semigroups increases rapidly with the number of elements. Since existing counting formulae do not give the complete number of semigroups of given order up to equivalence, the remainder can only be... 详细信息
来源: 评论