咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是811-820 订阅
排序:
Making rigorous linear programming practical for program analysis  27
Making rigorous linear programming practical for program ana...
收藏 引用
27th international conference on principles and practice of constraint programming, CP 2021
作者: Wang, Tengbin Chen, Liqian Chen, Taoqing Fan, Guangsheng Wang, Ji College of Computer National University of Defense Technology Changsha China State Key Laboratory of High Performance Computing College of Computer National University of Defense Technology Changsha China
Linear programming is a key technique for analysis and verification of numerical properties in programs, neural networks, etc. In particular, in program analysis based on abstract interpretation, many numerical abstra... 详细信息
来源: 评论
the dungeon variations problem using constraint programming  27
The dungeon variations problem using constraint programming
收藏 引用
27th international conference on principles and practice of constraint programming, CP 2021
作者: Glorian, Gaël Debesson, Adrien Yvon-Paliot, Sylvain Simon, Laurent LaBRI - CNRS UMR 5800 Université de Bordeaux Nouvelle-Aquitaine Talence France Ubisoft Nouvelle-Aquitaine Bordeaux France
the video games industry generates billions of dollars in sales every year. Video games can offer increasingly complex gaming experiences, with gigantic (but consistent) open worlds, thanks to larger and larger teams ... 详细信息
来源: 评论
Planning and scheduling teams of skilled workers
Planning and scheduling teams of skilled workers
收藏 引用
Joint Workshop for international conference on principles and practice of constraint programming, CP'2007 and international conference on Automated Planning and Scheduling, ICAPS'07
作者: Perron, Laurent Shaw, Paul Vidal, Didier ILOG SA 9 rue de Verdun 92453 Gentilly Cedex France
Solving problems that mix planning and scheduling are often seen as a challenge. Discrete time-based scheduling, along with complex side constraints does not mix well with the more flexible nature of the planning mode... 详细信息
来源: 评论
Neighborhood-based variable ordering heuristics for the constraint satisfaction problem  7
收藏 引用
7th international conference on principles and practice of constraint programming, CP 2001
作者: Bessière, Christian Chmeiss, Assef Saïs, Lakhdar 161 rue Ada Montpellier Cedex 534392 France CRIL - Université d’ Artois IUT de Lens Rue de l’université - SP 16 LENS Cedex62307 France
One of the key factors in the efficiency of backtracking algorithms is the rule they use to decide on which variable to branch next (namely, the variable ordering heuristics). In this paper, we give a formulation of d... 详细信息
来源: 评论
CP for Bin Packing with Multi-Core and GPUs  30
CP for Bin Packing with Multi-Core and GPUs
收藏 引用
30th international conference on principles and practice of constraint programming, CP 2024
作者: Tardivo, Fabio Michel, Laurent Pontelli, Enrico Department of Computer Science New Mexico State University Las CrucesNM United States Synchrony Chair in Cybersecurity School of Computing University of Connecticut StorrsCT United States
the BinPacking constraint models the requirements of many logistics, resource allocation, and production scheduling applications. this paper explores new avenues based on the impressive computational power of modern G... 详细信息
来源: 评论
Hybrid benders decomposition algorithms in constraint logic programming
收藏 引用
7th international conference on principles and practice of constraint programming, CP 2001
作者: Eremin, Andrew Wallace, Mark IC-Parc London United Kingdom
Benders Decomposition is a form of hybridisation that allows linear programming to be combined with other kinds of algorithms. It extracts new constraints for one subproblem from the dual values of the other subproble... 详细信息
来源: 评论
Exact Approaches to the Multi-agent Collective Construction Problem  26th
Exact Approaches to the Multi-agent Collective Construction ...
收藏 引用
26th international conference on principles and practice of constraint programming, CP 2020
作者: Lam, Edward Stuckey, Peter J. Koenig, Sven Kumar, T. K. Satish Monash University MelbourneVIC Australia CSIRO Data61 MelbourneVIC Australia University of Southern California Los AngelesCA United States
the multi-agent collective construction problem tasks agents to construct any given three-dimensional structure on a grid by repositioning blocks. Agents are required to also use the blocks to build ramps in order to ... 详细信息
来源: 评论
On Redundancy in constraint Satisfaction Problems  28
On Redundancy in Constraint Satisfaction Problems
收藏 引用
28th international conference on principles and practice of constraint programming, CP 2022
作者: Carbonnel, Clément CNRS LIRMM University of Montpellier France
A constraint language Γ has non-redundancy f(n) if every instance of CSP(Γ) with n variables contains at most f(n) non-redundant constraints. If Γ has maximum arity r then it has non-redundancy O(nr), but there are... 详细信息
来源: 评论
principles and practice of constraint programming - CP 2006  2006
收藏 引用
丛书名: Lecture Notes in Computer Science
2006年
作者: Frédéric Benhamou
来源: 评论
Generating Random Logic Programs Using constraint programming  26th
Generating Random Logic Programs Using Constraint Programmin...
收藏 引用
26th international conference on principles and practice of constraint programming, CP 2020
作者: Dilkas, Paulius Belle, Vaishak University of Edinburgh Edinburgh United Kingdom Alan Turing Institute London United Kingdom
Testing algorithms across a wide range of problem instances is crucial to ensure the validity of any claim about one algorithm’s superiority over another. However, when it comes to inference algorithms for probabilis... 详细信息
来源: 评论