咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是151-160 订阅
排序:
Mixed-integer linear programming and constraint programming formulations for solving distributed flexible job shop scheduling problem
收藏 引用
COMPUTERS & INDUSTRIAL ENGINEERING 2020年 142卷 106347-106347页
作者: Meng, Leilei Zhang, Chaoyong Ren, Yaping Zhang, Biao Lv, Chang Liaocheng Univ Sch Comp Sci Liaocheng 252059 Shandong Peoples R China Huazhong Univ Sci & Technol State Key Lab Digital Mfg Equipment & Technol Wuhan 430074 Peoples R China Jinan Univ Sch Intelligent Syst Sci & Engn Zhuhai Campus Zhuhai 519070 Peoples R China
This paper intends to address the distributed flexible job shop scheduling problem (DFJSP) with minimizing maximum completion time (makespan). In order to solve this problem, we propose four mixed integer linear progr... 详细信息
来源: 评论
Optimal configuration planning of rule and optimization-based driven storage coupled micro cogeneration systems by the implementation of constraint programming
收藏 引用
JOURNAL OF ENERGY STORAGE 2022年 48卷
作者: Mohammadi, Hesam Mohammadi, Mohammad Ghasemi, Amir Shiraz Univ Sch Elect & Comp Engn Shiraz Iran Univ Tehran Coll Engn Sch Environm Tehran Iran
In this paper, an optimization model for optimal size and dispatch planning of micro combined heat and power systems regarding distinct structures for the inclusion of the cogeneration unit, auxiliary boiler, heat sto... 详细信息
来源: 评论
A novel constraint programming and simulated annealing for disassembly line balancing problem with AND/OR precedence and sequence dependent setup times
收藏 引用
COMPUTERS & OPERATIONS RESEARCH 2022年 146卷
作者: Kizilay, Damla ?Izmir Democracy Univ Ind Engn Dept TR-35140 Izmir Turkey
This study considers recycling the products to reuse or reproduce the precious parts of these products to provide environmental sustainability and for companies to adapt to competitive conditions. These recycling proc... 详细信息
来源: 评论
A constraint programming model for making recommendations in personal process management: A design science research approach
收藏 引用
DECISION SUPPORT SYSTEMS 2022年 152卷 1页
作者: Oruc, Sercan Eren, P. Erhan Kocyigit, Altan Middle East Tech Univ Ankara Turkey
Decision-making in everyday life has an essential role in effectively completing personal tasks and processes. The complexity of these processes and the resulting cognitive load of managing them may vary significantly... 详细信息
来源: 评论
Counterfactual explanations via inverse constraint programming  27
Counterfactual explanations via inverse constraint programmi...
收藏 引用
27th International Conference on Principles and Practice of constraint programming, CP 2021
作者: Korikov, Anton Beck, J. Christopher Department of Mechanical and Industrial Engineering University of Toronto Canada
It is increasingly recognized that automated decision making systems cannot be black boxes: users require insight into the reasons that decisions are made. Explainable AI (XAI) has developed a number of approaches to ... 详细信息
来源: 评论
A constraint programming Approach to Solve Multi-skill Resource-constrained Project Scheduling Problem with Calendars
收藏 引用
INTERNATIONAL JOURNAL OF ENGINEERING 2022年 第8期35卷 1579-1587页
作者: Nikaeen, R. Najafi, A. A. KN Toosi Univ Technol Fac Ind Engn Tehran Iran Ecole Technol Super Syst Engn Dept Montreal PQ Canada
The multi-skill resource constrained project scheduling is an important and challenging problem in project management. Two key issues that turn this topic into a challenging problem are the assumptions that are consid... 详细信息
来源: 评论
Combining mixed integer programming and constraint programming to solve the integrated scheduling problem of container handling operations of a single vessel
收藏 引用
EUROPEAN JOURNAL OF OPERATIONAL RESEARCH 2020年 第3期285卷 884-901页
作者: Qin, Tianbao Du, Yuquan Chen, Jiang Hang Sha, Mei Shanghai Maritime Univ Coll Transport & Commun Shanghai 200135 Peoples R China Univ Tasmania Australian Maritime Coll Natl Ctr Ports & Shipping Launceston Tas 7250 Australia Xian Jiao Tong Liverpool Univ Int Business Sch Suzhou Suzhou 215123 Peoples R China
In the container terminals of seaports, the container handling system consists of a variety of container handling machines such as quay cranes, internal yard trucks, and yard cranes. This study applies a holistic appr... 详细信息
来源: 评论
Automated Verification of Care Pathways Using constraint programming
收藏 引用
IEEE JOURNAL OF BIOMEDICAL AND HEALTH INFORMATICS 2020年 第9期24卷 2718-2725页
作者: de Figueiredo, Renan Pereira Ferreira Filho, Joao Bosco Sousa, Flavio R. C. Weber, Philip Litchfield, Ian Univ Fed Ceara Dept Comp Grp Comp Networking Software Engn & Syst GREat BR-60020181 Fortaleza Ceara Brazil Univ Fed Ceara Teleinformat Engn Dept DETI BR-60020181 Fortaleza Ceara Brazil Aston Univ Birmingham B4 7ET W Midlands England Univ Birmingham Inst Appl Hlth Res Birmingham B15 2TT W Midlands England
Bad construction of modeled care pathways can lead to satisfiability problems during the pathway execution. These problems can ultimately result in medical errors and need to be checked as formally as possible. Theref... 详细信息
来源: 评论
Mixed-integer/linear and constraint programming approaches for activity scheduling in a nuclear research facility
收藏 引用
INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH 2020年 第23期58卷 7149-7166页
作者: Polo-Mejia, Oliver Artigues, Christian Lopez, Pierre Basini, Virginie Univ Toulouse CNRS LAAS CNRS Toulouse France CEA SETC DEC DEN St Paul Les Durance France
This paper presents the results of a research project aiming to optimise the scheduling of activities within a research laboratory of the 'Commissariat a l'Energie Atomique et aux Energies Alternatives (CEA)&#... 详细信息
来源: 评论
A new constraint programming model and solving for the cyclic hoist scheduling problem
收藏 引用
constraintS 2020年 第3-4期25卷 319-337页
作者: Wallace, Mark Yorke-Smith, Neil Monash Univ Melbourne Vic Australia Delft Univ Technol Delft Netherlands
The cyclic hoist scheduling problem (CHSP) is a well-studied optimisation problem due to its importance in industry. Despite the wide range of solving techniques applied to the CHSP and its variants, the models have r... 详细信息
来源: 评论