咨询与建议

限定检索结果

文献类型

  • 956 篇 会议
  • 51 篇 期刊文献
  • 19 册 图书

馆藏范围

  • 1,025 篇 电子文献
  • 1 种 纸本馆藏

日期分布

学科分类号

  • 853 篇 工学
    • 833 篇 计算机科学与技术...
    • 495 篇 软件工程
    • 41 篇 信息与通信工程
    • 27 篇 电气工程
    • 17 篇 控制科学与工程
    • 8 篇 机械工程
    • 7 篇 土木工程
    • 6 篇 建筑学
    • 6 篇 化学工程与技术
    • 5 篇 材料科学与工程(可...
    • 5 篇 农业工程
    • 4 篇 力学(可授工学、理...
    • 4 篇 交通运输工程
    • 4 篇 生物工程
    • 3 篇 冶金工程
    • 3 篇 动力工程及工程热...
    • 2 篇 电子科学与技术(可...
    • 2 篇 航空宇航科学与技...
  • 530 篇 理学
    • 422 篇 数学
    • 274 篇 系统科学
    • 18 篇 统计学(可授理学、...
    • 10 篇 物理学
    • 7 篇 生物学
    • 6 篇 化学
  • 62 篇 管理学
    • 54 篇 管理科学与工程(可...
    • 34 篇 工商管理
    • 10 篇 图书情报与档案管...
  • 7 篇 法学
    • 7 篇 社会学
  • 5 篇 经济学
    • 5 篇 应用经济学
  • 5 篇 农学
    • 5 篇 作物学
  • 1 篇 教育学
  • 1 篇 医学
  • 1 篇 军事学

主题

  • 198 篇 constraint theor...
  • 163 篇 constraint satis...
  • 62 篇 constraint progr...
  • 26 篇 constrained opti...
  • 25 篇 computer program...
  • 23 篇 integer programm...
  • 21 篇 answer set progr...
  • 15 篇 logic programmin...
  • 15 篇 artificial intel...
  • 15 篇 scheduling
  • 14 篇 mathematical log...
  • 14 篇 dynamic programm...
  • 13 篇 problem solving
  • 12 篇 linear programmi...
  • 11 篇 global constrain...
  • 11 篇 programming lang...
  • 11 篇 logics and meani...
  • 10 篇 modeling languag...
  • 9 篇 constraint satis...
  • 9 篇 combinatorial op...

机构

  • 18 篇 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 篇 natl univ singap...
  • 6 篇 cork constraint ...
  • 6 篇 chinese univ hon...
  • 5 篇 161 rue ada mont...
  • 5 篇 cornell univ dep...
  • 5 篇 univ coll cork d...
  • 5 篇 univ st andrews ...
  • 5 篇 ben gurion univ ...
  • 5 篇 department of co...
  • 5 篇 univ coll cork c...

作者

  • 31 篇 stuckey peter j.
  • 28 篇 o'sullivan barry
  • 22 篇 van hentenryck p...
  • 20 篇 freuder eugene c...
  • 17 篇 walsh toby
  • 17 篇 quimper claude-g...
  • 15 篇 miguel ian
  • 15 篇 michel laurent
  • 15 篇 bessiere christi...
  • 14 篇 beldiceanu nicol...
  • 14 篇 schaus pierre
  • 14 篇 schulte christia...
  • 12 篇 smith barbara m.
  • 12 篇 hebrard emmanuel
  • 12 篇 pesant gilles
  • 11 篇 régin jean-charl...
  • 11 篇 beck j. christop...
  • 10 篇 hnich brahim
  • 10 篇 gent ian p.
  • 10 篇 rueher michel

语言

  • 1,023 篇 英文
  • 3 篇 中文
检索条件"任意字段=10th International Conference on the Principles and Practice of Constraint Programming"
1026 条 记 录,以下是421-430 订阅
排序:
Open constraint programming  4th
收藏 引用
4th international conference on principles and practice of constraint programming, CP 1998
作者: Jaffar, Joxan Yap, Roland H. C. Department of Computer Science School of Computing National University of Singapore 119260 Singapore
constraint programming (CP) has proven useful in several areas, and though the initial impetus came from logic programming frameworks like CLP and CCP, the use of CP and constraint solving is obtaining wider appeal. W... 详细信息
来源: 评论
Towards Practical Infinite Stream constraint programming: Applications and Implementation
Towards Practical Infinite Stream Constraint Programming: Ap...
收藏 引用
20th international conference on the principles and practice of constraint programming (CP)
作者: Lee, Jasper C. H. Lee, Jimmy H. M. Univ Cambridge Churchill Coll Cambridge CB2 1TN England Chinese Univ Hong Kong Dept Comp Engn & Sci Sha Tin Peoples R China
Siu et al. propose stream CSPs (St-CSPs) as a generalisation of finite domain CSPs to cater for constraints on infinite streams, and a solving algorithm that produces a deterministic Buchi automaton recognising the so... 详细信息
来源: 评论
Training Binarized Neural Networks Using MIP and CP  25th
Training Binarized Neural Networks Using MIP and CP
收藏 引用
25th international conference on the principles and practice of constraint programming (CP)
作者: Icarte, Rodrigo Toro Illanes, Leon Castro, Margarita P. Cire, Andre A. McIlraith, Sheila A. Beck, J. Christopher Univ Toronto Dept Comp Sci Toronto ON Canada Vector Inst Toronto ON Canada Univ Toronto Dept Mech & Ind Engn Toronto ON Canada Univ Toronto Scarborough Dept Management Toronto ON Canada
Binarized Neural Networks (BNNs) are an important class of neural network characterized by weights and activations restricted to the set {-1, +1}. BNNs provide simple compact descriptions and as such have a wide range... 详细信息
来源: 评论
Efficient Methods for constraint Acquisition  1
收藏 引用
24th international conference on the principles and practice of constraint programming (CP)
作者: Tsouros, Dimosthenis C. Stergiou, Kostas Sarigiannidis, Panagiotis G. Univ Western Macedonia Dept Informat & Telecommun Engn Kozani Greece
constraint acquisition systems such as QuAcq and MultiAcq can assist non-expert users to model their problems as constraint networks by classifying (partial) examples as positive or negative. For each negative example... 详细信息
来源: 评论
Generating Special-Purpose Stateless Propagators for Arbitrary constraints
Generating Special-Purpose Stateless Propagators for Arbitra...
收藏 引用
16th Annual international conference on the principles and practice of constraint programming
作者: Gent, Ian P. Jefferson, Chris Miguel, Ian Nightingale, Peter Univ St Andrews Sch Comp Sci St Andrews Fife Scotland
Given an arbitrary constraint a on 71 variables with domain size d, we show how to generate a custom propagator that establishes GAC in time O(nd) by precomputing the propagation that would be performed on every reach... 详细信息
来源: 评论
Studying interchangeability in constraint satisfaction problems  8th
收藏 引用
8th international conference on principles and practice of constraint programming, CP 2002
作者: Neagu, Nicoleta EcublensCH-1015 Switzerland
Most work in constraint satisfaction has concentrated on computing a solution to a given problem. In practice, it often happens that an existing solution needs to be modified to satisfy additional criteria or changes ... 详细信息
来源: 评论
constraint programming-Based Job Dispatching for Modern HPC Applications  25th
Constraint Programming-Based Job Dispatching for Modern HPC ...
收藏 引用
25th international conference on the principles and practice of constraint programming (CP)
作者: Galleguillos, Cristian Kiziltan, Zeynep Sirbu, Alina Babaoglu, Ozalp Pontificia Univ Catolica Valparaiso Valparaiso Chile Univ Bologna Bologna Italy Univ Pisa Pisa Italy
HPC systems are increasingly being used for big data analytics and predictive model building that employ many short jobs. In these application scenarios, HPC job dispatchers need to process large numbers of short jobs... 详细信息
来源: 评论
MiniZinc: Towards a standard CP modelling language
MiniZinc: Towards a standard CP modelling language
收藏 引用
13th international conference on principles and practice of constraint programming (CP 2007)
作者: Nethercote, Nicholas Stuckey, Peter J. Becket, Ralph Brand, Sebastian Duck, Gregory J. Tack, Guido Univ Melbourne Natl ICT Australia Melbourne Vic 3010 Australia Saarland Univ Programming Syst Lab Saarbrucken Germany Natl ICT Australia Melbourne Vic Australia
there is no standard modelling language for constraint programming (CP) problems. Most solvers have their own modelling language. this makes it difficult for modellers to experiment with different solvers for a proble... 详细信息
来源: 评论
Maintaining State in Propagation Solvers
Maintaining State in Propagation Solvers
收藏 引用
15th international conference on principles and practice of constraint programming (CP 2009)
作者: Reischuk, Raphael M. Schulte, Christian Stuckey, Peter J. Tack, Guido Univ Saarland IS&C D-6600 Saarbrucken Germany KTH Royal Inst Technol Stockholm Sweden Univ Melbourne Natl ICT Australia Dept Comp Sci & Software Engn Victoria Lab Melbourne Vic Australia Univ Saarland PS Lab Saarbrucken Germany
constraint propagation solvers interleave propagation, removing impossible values from variable domains, with search. the solver state is modified during propagation. But search requires the solver to return to a prev... 详细信息
来源: 评论
principles and practice of constraint programming - CP 2002  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Pascal Hentenryck
this book constitutes the refereed proceedings of the 8th international conference on principles and practice of constraint programming, CP 2002, held in Ithaca, NY, USA in September 2002.;the 38 revised full papers a... 详细信息
来源: 评论