咨询与建议

限定检索结果

文献类型

  • 1,018 篇 期刊文献
  • 814 篇 会议
  • 22 篇 学位论文

馆藏范围

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

日期分布

学科分类号

  • 1,595 篇 工学
    • 1,324 篇 计算机科学与技术...
    • 486 篇 软件工程
    • 177 篇 电气工程
    • 136 篇 控制科学与工程
    • 134 篇 机械工程
    • 55 篇 信息与通信工程
    • 50 篇 土木工程
    • 39 篇 交通运输工程
    • 37 篇 建筑学
    • 15 篇 化学工程与技术
    • 15 篇 石油与天然气工程
    • 15 篇 航空宇航科学与技...
    • 14 篇 材料科学与工程(可...
    • 11 篇 力学(可授工学、理...
    • 11 篇 生物工程
    • 10 篇 仪器科学与技术
    • 10 篇 电子科学与技术(可...
    • 9 篇 动力工程及工程热...
  • 614 篇 管理学
    • 595 篇 管理科学与工程(可...
    • 118 篇 工商管理
    • 12 篇 图书情报与档案管...
  • 481 篇 理学
    • 358 篇 数学
    • 166 篇 系统科学
    • 31 篇 生物学
    • 17 篇 物理学
    • 6 篇 统计学(可授理学、...
  • 78 篇 经济学
    • 65 篇 应用经济学
    • 14 篇 理论经济学
  • 15 篇 医学
    • 8 篇 基础医学(可授医学...
  • 8 篇 法学
  • 8 篇 教育学
    • 6 篇 教育学
  • 8 篇 农学
  • 4 篇 艺术学
  • 2 篇 文学
  • 1 篇 哲学
  • 1 篇 历史学

主题

  • 1,854 篇 constraint progr...
  • 174 篇 scheduling
  • 84 篇 optimization
  • 65 篇 integer programm...
  • 42 篇 combinatorial op...
  • 39 篇 mixed integer pr...
  • 35 篇 local search
  • 35 篇 integer linear p...
  • 29 篇 constraint satis...
  • 28 篇 mathematical pro...
  • 28 篇 machine learning
  • 25 篇 mixed integer li...
  • 23 篇 linear programmi...
  • 23 篇 column generatio...
  • 22 篇 large neighborho...
  • 22 篇 mixed-integer pr...
  • 22 篇 planning
  • 22 篇 global constrain...
  • 22 篇 constraint propa...
  • 20 篇 search

机构

  • 24 篇 pontificia univ ...
  • 13 篇 univ autonoma ch...
  • 13 篇 univ st andrews ...
  • 12 篇 univ toronto dep...
  • 11 篇 univ san sebasti...
  • 10 篇 univ cient sur l...
  • 9 篇 univ bologna dei...
  • 9 篇 brown univ provi...
  • 8 篇 univ tehran coll...
  • 8 篇 univ cent chile ...
  • 7 篇 carnegie mellon ...
  • 7 篇 univ playa ancha...
  • 7 篇 natl univ irelan...
  • 7 篇 univ valparaiso ...
  • 7 篇 new mexico state...
  • 6 篇 katholieke univ ...
  • 6 篇 natl yunlin univ...
  • 6 篇 univ nantes lina...
  • 6 篇 natl univ irelan...
  • 6 篇 hacettepe univ d...

作者

  • 30 篇 crawford broderi...
  • 28 篇 beck j. christop...
  • 26 篇 stuckey peter j.
  • 24 篇 monfroy eric
  • 23 篇 soto ricardo
  • 23 篇 schaus pierre
  • 21 篇 rousseau louis-m...
  • 20 篇 milano michela
  • 18 篇 van hentenryck p...
  • 17 篇 lombardi michele
  • 17 篇 o'sullivan barry
  • 16 篇 miguel ian
  • 14 篇 wallace mark
  • 14 篇 hofstedt petra
  • 14 篇 guns tias
  • 13 篇 castro carlos
  • 13 篇 loudni samir
  • 12 篇 boizumault patri...
  • 12 篇 nightingale pete...
  • 12 篇 nijssen siegfrie...

语言

  • 1,741 篇 英文
  • 86 篇 其他
  • 12 篇 中文
  • 6 篇 法文
  • 2 篇 土耳其文
  • 1 篇 德文
  • 1 篇 西班牙文
  • 1 篇 葡萄牙文
检索条件"主题词=Constraint Programming"
1854 条 记 录,以下是281-290 订阅
排序:
USING RESTARTS IN constraint programming OVER FINITE DOMAINS AN EXPERIMENTAL EVALUATION
USING RESTARTS IN CONSTRAINT PROGRAMMING OVER FINITE DOMAINS...
收藏 引用
作者: LUIS MANUEL TREMOCEIRO BAPTISTA NOVA University of Lisbon
学位级别:博士
The use of restart techniques in complete Satisfiability (SAT) algorithms has made solving hard real world instances possible. Without restarts such algorithms could not solve those instances, in practice. State of th... 详细信息
来源: 评论
Anti-unification in constraint logic programming
arXiv
收藏 引用
arXiv 2019年
作者: Yernaux, Gonzague Vanhoof, Wim University of Namur Belgium Namur Digital Institute
Anti-unification refers to the process of generalizing two (or more) goals into a single, more general, goal that captures some of the structure that is common to all initial goals. In general one is typically interes... 详细信息
来源: 评论
constraint programming approach for scheduling batch operations with incompatible job families in fab and compatible job families in backend FA: Factory Automation
Constraint programming approach for scheduling batch operati...
收藏 引用
SEMI Advanced Semiconductor Manufacturing Conference
作者: Andy Ham John Fowler Industrial & Systems Engineering Liberty University Lynchburg VA Supply Chain Management Arizona State University Temple AZ
This study presents a constraint programming (CP) approach for modeling batch operations both in fab (incompatible job families) and backend (compatible job families) which involves the constraints of different job re... 详细信息
来源: 评论
constraint and Mathematical programming Models for Integrated Port Container Terminal Operations  15th
收藏 引用
15th International Conference on the Integration of constraint programming, Artificial Intelligence, and Operations Research (CPAIOR)
作者: Kizilay, Damla Eliiyi, Deniz Tursel Van Hentenryck, Pascal Univ Michigan Ann Arbor MI 48109 USA Yasar Univ TR-35100 Izmir Turkey
This paper considers the integrated problem of quay crane assignment, quay crane scheduling, yard location assignment, and vehicle dispatching operations at a container terminal. The main objective is to minimize vess... 详细信息
来源: 评论
A constraint programming Approach to Finding Stable Matchings within Airline Manpower Planning
A Constraint Programming Approach to Finding Stable Matching...
收藏 引用
作者: JAKOB JARMAR FABIAN SORENSSON Chalmers University of Technology
学位级别:硕士
The objective of airline manpower planning is to have the right number of pilots with the right qualifications at the right time. To accomplish this, one has to solve the subproblem of assigning pilots to promotion co... 详细信息
来源: 评论
Leveraging constraint logic programming for neural guided program synthesis  6
Leveraging constraint logic programming for neural guided pr...
收藏 引用
6th International Conference on Learning Representations, ICLR 2018
作者: Zhang, Lisa Rosenblatt, Gregory Fetaya, Ethan Liao, Renjie Byrd, William E. Urtasun, Raquel Zemel, Richard University of Toronto Canada Vector Institute Uber ATG University of Alabama at Birmingham
We present a method for solving programming by Example (PBE) problems that tightly integrates a neural network with a constraint logic programming system called miniKanren. Internally, miniKanren searches for a progra... 详细信息
来源: 评论
constraint programming Approach for Spatial Packaging Problem  13th
Constraint Programming Approach for Spatial Packaging Proble...
收藏 引用
13th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in constraint programming (CPAIOR)
作者: Sakti, Abdelilah Zeidner, Lawrence Hadzic, Tarik St Rock, Brian Quartarone, Giusi United Technol Res Ctr E Hartford CT 06108 USA
The Spatial Packaging Problem (SPP) aims to solve a mixture of the 3D Packing Problem (3DPP) and the 3D Pipe-Routing Problem. The main feature that distinguishes the SPP from the traditional 3DPP is the interconnectio... 详细信息
来源: 评论
constraint programming Approach to the Problem of Generating Milton Babbitt's All-Partition Arrays  22nd
Constraint Programming Approach to the Problem of Generating...
收藏 引用
22nd International Conference on the Principles and Practice of constraint programming (CP)
作者: Tanaka, Tsubasa Bemman, Brian Meredith, David UPMC CNRS STMS Lab IRCAM Paris France Aalborg Univ Aalborg Denmark
Milton Babbitt (1916-2011) was a composer of twelve-tone serial music noted for creating the all-partition array. One part of the problem in generating an all-partition array requires finding a covering of a pitch-cla... 详细信息
来源: 评论
constraint programming for Strictly Convex Integer Quadratically-Constrained Problems  22nd
Constraint Programming for Strictly Convex Integer Quadratic...
收藏 引用
22nd International Conference on the Principles and Practice of constraint programming (CP)
作者: Ku, Wen-Yang Beck, J. Christopher Univ Toronto Dept Mech & Ind Engn Toronto ON M5S 3G8 Canada
Inspired by the geometric reasoning exploited in discrete ellipsoid-based search (DEBS) from the communications literature, we develop a constraint programming (CP) approach to solve problems with strictly convex quad... 详细信息
来源: 评论
A learning Portfolio solver for optimizing the performance of constraint programming problems on multi-core computing systems
收藏 引用
CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE 2017年 第4期29卷 e3840.1-e3840.17页
作者: Menouer, Tarek Sukhija, Nitin Le Cun, Bertrand Univ Versailles St Quentin En Yvelines LI PaRAD Lab Versailles France Mississippi State Univ Dept Comp Sci & Engn Starkville MS USA
This paper describes a learning parallel constraint programming (CP) solver designed for solving CP problems with several instances on massively parallel computing platforms comprising multi-core parallel machines or ... 详细信息
来源: 评论