咨询与建议

限定检索结果

文献类型

  • 1,025 篇 期刊文献
  • 832 篇 会议
  • 20 篇 学位论文

馆藏范围

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

日期分布

学科分类号

  • 1,622 篇 工学
    • 1,347 篇 计算机科学与技术...
    • 496 篇 软件工程
    • 180 篇 电气工程
    • 138 篇 控制科学与工程
    • 134 篇 机械工程
    • 58 篇 信息与通信工程
    • 50 篇 土木工程
    • 40 篇 交通运输工程
    • 37 篇 建筑学
    • 15 篇 化学工程与技术
    • 15 篇 石油与天然气工程
    • 15 篇 航空宇航科学与技...
    • 14 篇 材料科学与工程(可...
    • 11 篇 力学(可授工学、理...
    • 11 篇 仪器科学与技术
    • 11 篇 电子科学与技术(可...
    • 11 篇 生物工程
    • 9 篇 动力工程及工程热...
  • 620 篇 管理学
    • 599 篇 管理科学与工程(可...
    • 120 篇 工商管理
    • 13 篇 图书情报与档案管...
    • 7 篇 公共管理
  • 485 篇 理学
    • 362 篇 数学
    • 165 篇 系统科学
    • 32 篇 生物学
    • 17 篇 物理学
  • 78 篇 经济学
    • 65 篇 应用经济学
    • 14 篇 理论经济学
  • 16 篇 医学
    • 8 篇 基础医学(可授医学...
  • 9 篇 教育学
    • 7 篇 教育学
  • 8 篇 法学
  • 8 篇 农学
  • 4 篇 艺术学
  • 2 篇 文学
  • 1 篇 哲学
  • 1 篇 历史学

主题

  • 1,877 篇 constraint progr...
  • 173 篇 scheduling
  • 84 篇 optimization
  • 65 篇 integer programm...
  • 42 篇 combinatorial op...
  • 39 篇 mixed integer pr...
  • 35 篇 local search
  • 35 篇 integer linear p...
  • 31 篇 machine learning
  • 29 篇 constraint satis...
  • 28 篇 mathematical pro...
  • 26 篇 mixed integer li...
  • 23 篇 mixed-integer pr...
  • 23 篇 linear programmi...
  • 23 篇 global constrain...
  • 23 篇 column generatio...
  • 22 篇 large neighborho...
  • 22 篇 planning
  • 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...
  • 21 篇 milano michela
  • 18 篇 van hentenryck p...
  • 18 篇 o'sullivan barry
  • 17 篇 miguel ian
  • 17 篇 lombardi michele
  • 14 篇 wallace mark
  • 14 篇 hofstedt petra
  • 14 篇 nightingale pete...
  • 14 篇 guns tias
  • 13 篇 castro carlos
  • 13 篇 loudni samir
  • 12 篇 boizumault patri...
  • 12 篇 nijssen siegfrie...

语言

  • 1,733 篇 英文
  • 124 篇 其他
  • 11 篇 中文
  • 4 篇 法文
  • 2 篇 土耳其文
  • 1 篇 德文
  • 1 篇 西班牙文
  • 1 篇 葡萄牙文
检索条件"主题词=Constraint Programming"
1877 条 记 录,以下是721-730 订阅
The generalized flexible job shop scheduling problem
收藏 引用
COMPUTERS & INDUSTRIAL ENGINEERING 2021年 160卷 107542-107542页
作者: Boyer, Vincent Vallikavungal, Jobish Cantu Rodriguez, Xavier Angelica Salazar-Aguilar, M. Univ Autonoma Nuevo Leon Grad Program Syst Engn San Nicolas De Los Garza Nuevo Leon Mexico Univ Autonoma Nuevo Leon Sch Phys & Math San Nicolas De Los Garza Nuevo Leon Mexico Univ Autonoma Nuevo Leon Grad Program Informat Technol San Nicolas De Los Garza Nuevo Leon Mexico
In this work, we introduce a generalized flexible job-shop scheduling problem in which, besides the classical constraints of the flexible job shop scheduling problem other hard constraints such as machine capacity, ti... 详细信息
来源: 评论
CP and Hybrid Models for Two-Stage Batching and Scheduling  17th
CP and Hybrid Models for Two-Stage Batching and Scheduling
收藏 引用
17th International Conference on the Integration of constraint programming, Artificial Intelligence, and Operations Research (CPAIOR)
作者: Tang, Tanya Y. Beck, J. Christopher Univ Toronto Dept Mech & Ind Engn Toronto ON M5S 3G8 Canada
Batch scheduling is a common problem faced in industrial scheduling when groups of related jobs must be processed consecutively or simultaneously on the same resource. Motivated by the composites manufacturing industr... 详细信息
来源: 评论
Scheduling a cellular manufacturing system based on price elasticity of demand and time-dependent energy prices
收藏 引用
COMPUTERS & INDUSTRIAL ENGINEERING 2021年 159卷 107460-107460页
作者: Ebrahimi, Hamidreza Kianfar, Kamran Bijari, Mehdi Univ Isfahan Fac Engn Esfahan *** Iran Isfahan Univ Technol Dept Ind & Syst Engn Esfahan *** Iran
Cellular manufacturing system (CMS) is a novel production system adaptable to the make-to-order production. The present study focuses on scheduling CMS aimed at maximizing total profits as a function of the revenues e... 详细信息
来源: 评论
Nutmeg: a MIP and CP Hybrid Solver Using Branch-and-Check
收藏 引用
Operations Research Forum 2020年 第3期1卷 1-27页
作者: Lam, Edward Gange, Graeme Stuckey, Peter J. Van Hentenryck, Pascal Dekker, Jip J. Department of Data Science and Artificial Intelligence Faculty of Information Technology Monash University Melbourne VIC Australia H. Milton Stewart School of Industrial and Systems Engineering Georgia Institute of Technology Atlanta GA United States
This paper describes the implementation of Nutmeg, a solver that hybridizes mixed integer linear programming and constraint programming using the branch-and-cut style of logic-based Benders decomposition known as bran... 详细信息
来源: 评论
Experiments with Declarative Modeling of Maximum Clique Problem Using Solvers Supported by MiniZinc  24
Experiments with Declarative Modeling of Maximum Clique Prob...
收藏 引用
24th International Conference on System Theory, Control and Computing (ICSTCC)
作者: Muraretu, Ionut Badica, Costin Univ Craiova Dept Comp & Informat Technol Craiova Romania
In this paper, we present the results of solving the Maximum Clique Problem using declarative modeling approaches. Our goal is to create a single reusable model that can be utilized to compare several solvers supporte... 详细信息
来源: 评论
Leveraging constraint Scheduling: A Case Study to the Textile Industry  17th
Leveraging Constraint Scheduling: A Case Study to the Textil...
收藏 引用
17th International Conference on the Integration of constraint programming, Artificial Intelligence, and Operations Research (CPAIOR)
作者: Mercier-Aubin, Alexandre Gaudreault, Jonathan Quimper, Claude-Guy Univ Laval Quebec City PQ G1V 0A6 Canada
Despite the significant progress made in scheduling in the past years, industrial problems with several hundred tasks remain intractable for some variants of the scheduling problems. We present techniques that can be ... 详细信息
来源: 评论
Synergetic Algorithm for Power-Down Synthesis  24
Synergetic Algorithm for Power-Down Synthesis
收藏 引用
24th IEEE European Conference on Circuit Theory and Design (ECCTD)
作者: Neuner, Maximilian Graeb, Helmut Tech Univ Munich Chair Elect Design Automat Munich Germany
This paper presents a new approach to describe the analog power-down synthesis problem by combining two state-of-the art constraint programs to a unified, homogeneous constraint optimization problem that, in contrast ... 详细信息
来源: 评论
Global Propagation of Transition Cost for Fixed Job Scheduling  24
Global Propagation of Transition Cost for Fixed Job Scheduli...
收藏 引用
24th European Conference on Artificial Intelligence (ECAI)
作者: Wang Ruixin Nicolas, Barnier CAUC CAUC ENAC Joint Res Ctr Appl Math ATM Tianjin Peoples R China Univ Toulouse ENAC Toulouse France
We present a new constraint programming (CP) model to optimize the transition cost of Fixed Job Scheduling (FJS), which improves our previous approach based on per-resource constraints by orders of magnitude. Our new ... 详细信息
来源: 评论
Scheduling of Dual-Arm Multi-tool Assembly Robots and Workspace Layout Optimization  17th
Scheduling of Dual-Arm Multi-tool Assembly Robots and Worksp...
收藏 引用
17th International Conference on the Integration of constraint programming, Artificial Intelligence, and Operations Research (CPAIOR)
作者: Wessen, Johan Carlsson, Mats Schulte, Christian ABB Corp Res Vasteras Sweden KTH Royal Inst Technol Stockholm Sweden RISE Res Inst Sweden Uppsala Sweden
The profitability of any assembly robot installation depends on the production throughput, and to an even greater extent on incurred costs. Most of the cost comes from manually designing the layout and programming the... 详细信息
来源: 评论
Model Expansion in the Presence of Function Symbols Using constraint programming
Model Expansion in the Presence of Function Symbols Using Co...
收藏 引用
International Conference on Tools with Artificial Intelligence
作者: Broes De Cat Bart Bogaerts Jo Devriendt Marc Denecker Department of Computer Science KU Leuven
The traditional approach to Model Expansion (MX) is to reduce the theory to a propositional language and apply a search algorithm to the resulting theory. Function symbols are typically replaced by predicate symbols r... 详细信息
来源: 评论