咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是201-210 订阅
排序:
Branch-and-Check with Explanations for the Vehicle Routing Problem with Time Windows  23rd
Branch-and-Check with Explanations for the Vehicle Routing P...
收藏 引用
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)
作者: Lam, Edward Van Hentenryck, Pascal CSIRO Data61 Eveleigh NSW 2015 Australia Univ Melbourne Parkville Vic 3010 Australia Univ Michigan Ann Arbor MI 48109 USA
this paper proposes the framework of branch-and-check with explanations (BCE), a branch-and-check method where combinatorial cuts are found by general-purpose conflict analysis, rather than by specialized separation a... 详细信息
来源: 评论
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 ... 详细信息
来源: 评论
Logic programming approaches for routing fault-free and maximally parallel wavelength-routed optical networks-on-chip (Application paper)
收藏 引用
thEORY AND practice OF LOGIC programming 2017年 第5-6期17卷 800-818页
作者: Gavanelli, Marco Nonato, Maddalena Peano, Andrea Bertozzi, Davide Ferrara Univ Dept Engn Ferrara Italy QuanTek Bologna Italy
One promising trend in digital system integration consists of boosting on-chip communication performance by means of silicon photonics, thus materializing the so-called Optical Networkson- Chip. Among them, wavelength... 详细信息
来源: 评论
Search Strategies for Floating Point constraint Systems  23rd
Search Strategies for Floating Point Constraint Systems
收藏 引用
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)
作者: Zitoun, Heytem Michel, Claude Rueher, Michel Michel, Laurent Univ Cote Azur CNRS I3S Nice France Univ Connecticut Storrs CT 06269 USA
the ability to verify critical software is a key issue in embedded and cyber physical systems typical of automotive, aeronautics or aerospace industries. Bounded model checking and constraint programming approaches se... 详细信息
来源: 评论
Preference Elicitation for DCOPs  23rd
Preference Elicitation for DCOPs
收藏 引用
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)
作者: Tabakhi, Atena M. Le, Tiep Fioretto, Ferdinando Yeoh, William Washington Univ Dept Comp Sci & Engn St Louis MO 63110 USA New Mexico State Univ Dept Comp Sci Las Cruces NM 88003 USA Univ Michigan Dept Ind & Operat Engn Ann Arbor MI 48109 USA
Distributed constraint Optimization Problems (DCOPs) offer a powerful approach for the description and resolution of cooperative multi-agent problems. In this model, a group of agents coordinate their actions to optim... 详细信息
来源: 评论
A Column-Generation Algorithm for Evacuation Planning with Elementary Paths  23rd
A Column-Generation Algorithm for Evacuation Planning with E...
收藏 引用
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)
作者: Hasan, Mohd. Hafiz Van Hentenryck, Pascal Univ Michigan Ann Arbor MI 48109 USA
Evacuation planning algorithms are critical tools for assisting authorities in orchestrating large-scale evacuations while ensuring optimal utilization of resources. To be deployed in practice, these algorithms must i... 详细信息
来源: 评论
A constraint Composite Graph-Based ILP Encoding of the Boolean Weighted CSP  23rd
A Constraint Composite Graph-Based ILP Encoding of the Boole...
收藏 引用
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)
作者: Xu, Hong Koenig, Sven Kumar, T. K. Satish Univ Southern Calif Los Angeles CA 90089 USA
the weighted constraint satisfaction problem (WCSP) occurs in the crux of many real-world applications of operations research, artificial intelligence, bioinformatics, etc. Despite its importance as a combinatorial su... 详细信息
来源: 评论
Program completion in the input language of GRINGO
收藏 引用
thEORY AND practice OF LOGIC programming 2017年 第5-6期17卷 855-871页
作者: Harrison, Amelia Lifschitz, Vladimir Raju, Dhananjay Dept Comp Sci Austin TX 78712 USA
We argue that turning a logic program into a set of completed definitions can be sometimes thought of as the "reverse engineering" process of generating a set of conditions that could serve as a specificatio... 详细信息
来源: 评论
Kernelization of constraint Satisfaction Problems: A Study through Universal Algebra  23rd
Kernelization of Constraint Satisfaction Problems: A Study T...
收藏 引用
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)
作者: Lagerkvist, Victor Wahlstrom, Magnus Tech Univ Dresden Inst Algebra Dresden Germany Royal Holloway Univ London Dept Comp Sci Egham Surrey England
A kernelization algorithm for a computational problem is a procedure which compresses an instance into an equivalent instance whose size is bounded with respect to a complexity parameter. For the constraint satisfacti... 详细信息
来源: 评论