咨询与建议

限定检索结果

文献类型

  • 1,005 篇 会议
  • 51 篇 期刊文献
  • 5 册 图书

馆藏范围

  • 1,060 篇 电子文献
  • 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 篇 dynamic programm...
  • 13 篇 problem solving
  • 12 篇 linear programmi...
  • 10 篇 global constrain...
  • 9 篇 modeling languag...
  • 9 篇 constraint satis...
  • 9 篇 combinatorial op...
  • 9 篇 java programming...
  • 7 篇 model checking
  • 7 篇 optimization
  • 7 篇 local search

机构

  • 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,058 篇 英文
  • 3 篇 中文
检索条件"任意字段=9th International Conference on Principles and Practice of Constraint Programming"
1061 条 记 录,以下是171-180 订阅
排序:
A Large Neighboring Search Schema for Multi-agent Optimization  1
收藏 引用
24th international conference on the principles and practice of constraint programming (CP)
作者: Hoang, Khoi D. Fioretto, Ferdinando Yeoh, William Pontelli, Enrico Zivan, Roie Washington Univ St Louis MO 63110 USA Univ Michigan Ann Arbor MI 48109 USA New Mexico State Univ Las Cruces NM 88003 USA Ben Gurion Univ Negev Beer Sheva Israel
the Distributed constraint Optimization Problem (DCOP) is an elegant paradigm for modeling and solving multi-agent problems which are distributed in nature, and where agents cooperate to optimize a global objective wi... 详细信息
来源: 评论
An Incremental SAT-Based Approach to Reason Efficiently on Qualitative constraint Networks  1
收藏 引用
24th international conference on the principles and practice of constraint programming (CP)
作者: Glorian, Gael Lagniez, Jean-Marie Montmirail, Valentin Sioutis, Michael Artois Univ CRIL F-62300 Lens France CNRS F-62300 Lens France Orebro Univ MPI AASS Orebro Sweden
the RCC8 language is a widely-studied formalism for describing topological arrangements of spatial regions. Two fundamental reasoning problems that are associated with RCC8 are the problems of satisfiability and reali... 详细信息
来源: 评论
PW-AC: Extending compact-table to enforce pairwise consistency on table constraints  24th
PW-AC: Extending compact-table to enforce pairwise consisten...
收藏 引用
24th international conference on the principles and practice of constraint programming, CP 2018
作者: Schneider, Anthony Choueiry, Berthe Y. Constraint Systems Laboratory University of Nebraska-Lincoln Lincoln United States
the Compact-Table (CT) algorithm is the current state-of-the-art algorithm for enforcing Generalized Arc Consistency (GAC) on table constraints during search. Recently, algorithms for enforcing Pairwise Consistency (P... 详细信息
来源: 评论
7th international conference on the theory and practice of Natural Computing, TPNC 2018
7th International Conference on the Theory and Practice of N...
收藏 引用
7th international conference on the theory and practice of Natural Computing, TPNC 2018
the proceedings contain 36 papers. the special focus in this conference is on theory and practice of Natural Computing. the topics include: A linear constrained optimization benchmark for probabilistic search algorith...
来源: 评论
Introduction to the 33rd international conference on logic programming special issue
收藏 引用
thEORY AND practice OF LOGIC programming 2017年 第5-6期17卷 684-688页
作者: Rocha, Ricardo Son, Tran Cao Univ Porto CRACS Rua Campo Alegre 1021 P-4169007 Oporto Portugal Univ Porto INESC TEC Rua Campo Alegre 1021 P-4169007 Oporto Portugal Univ Porto Fac Sci Rua Campo Alegre 1021 P-4169007 Oporto Portugal New Mexico State Univ Dept Comp Sci Las Cruces NM 88003 USA
this special issue of theory and practice of Logic programming (TPLP) contains the regular papers accepted for presentation at the 33rd international conference on Logic programming (ICLP 2017), held in Melbourne, Aus... 详细信息
来源: 评论
Generalized support and formal development of constraint propagators
收藏 引用
AI COMMUNICATIONS 2017年 第5期30卷 325-346页
作者: Caldwell, James Gent, Ian P. Nightingale, Peter Univ Wyoming Dept Comp Sci 1000 E Univ Ave Laramie WY 82071 USA Univ St Andrews Sch Comp Sci St Andrews KY16 9SX Fife Scotland
constraint programming is a family of techniques for solving combinatorial problems, where the problem is modelled as a set of decision variables (typically with finite domains) and a set of constraints that express r... 详细信息
来源: 评论
constraint handling rules with binders, patterns and generic quantification
收藏 引用
thEORY AND practice OF LOGIC programming 2017年 第5-6期17卷 992-1009页
作者: Serrano, Alejandro Hage, Jurriaan Univ Utrecht Dept Informat & Comp Sci Utrecht Netherlands
constraint handling rules provide descriptions for constraint solvers. However, they fall short when those constraints specify some binding structure, like higher-rank types in a constraint-based type inference algori... 详细信息
来源: 评论
Clingo goes linear constraints over reals and integers
收藏 引用
thEORY AND practice OF LOGIC programming 2017年 第5-6期17卷 872-888页
作者: Janhunen, Tomi Kaminski, Roland Ostrowski, Max Schellhorn, Sebastian Wanko, Philipp Schaub, Torsten Aalto Univ Aalto Finland Univ Potsdam Potsdam Germany INRIA Rennes Rennes France
the recent series 5 of the Answer Set programming (ASP) system clingo provides generic means to enhance basic ASP with theory reasoning capabilities. We instantiate this framework with different forms of linear constr... 详细信息
来源: 评论
Integer and constraint programming for Batch Annealing Process Planning  23rd
Integer and Constraint Programming for Batch Annealing Proce...
收藏 引用
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)
作者: van Hoeve, Willem-Jan Tayur, Sridhar Carnegie Mellon Univ Tepper Sch Business 5000 Forbes Ave Pittsburgh PA 15213 USA
We describe an optimization application in the context of steel manufacturing, to design and schedule batches for annealing furnaces. Our solution approach uses a two-phase decomposition. the first phase groups togeth... 详细信息
来源: 评论
constraint handling rules with binders, patterns and generic quantification
Constraint handling rules with binders, patterns and generic...
收藏 引用
33rd international conference on Logic programming colocated with the 23rd international conference on principles and practice of constraint programming / 20th international conference on theory and Applications of Satisfiability Testing
作者: Serrano, Alejandro Hage, Jurriaan Univ Utrecht Dept Informat & Comp Sci Utrecht Netherlands
constraint handling rules provide descriptions for constraint solvers. However, they fall short when those constraints specify some binding structure, like higher-rank types in a constraint-based type inference algori... 详细信息
来源: 评论