咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

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

主题

  • 1,852 篇 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,739 篇 英文
  • 86 篇 其他
  • 12 篇 中文
  • 6 篇 法文
  • 2 篇 土耳其文
  • 1 篇 德文
  • 1 篇 西班牙文
  • 1 篇 葡萄牙文
检索条件"主题词=Constraint Programming"
1852 条 记 录,以下是1711-1720 订阅
排序:
Multi-level lot-sizing and job shop scheduling with lot-streaming: Reformulation and solution approaches
收藏 引用
INTERNATIONAL JOURNAL OF PRODUCTION ECONOMICS 2023年 第1期263卷
作者: Rohaninejad, Mohammad Hanzalek, Zdenek Czech Tech Univ Czech Inst Informat Robot & Cybernet Ind Informat Dept Prague 6 Czech Republic
This paper addresses a multi-level lot-sizing and job shop scheduling problem with lot-streaming. In the multi-level production system, workstations receive materials from the lower level, and after some operation, ma... 详细信息
来源: 评论
Computing optimal hypertree decompositions with SAT
收藏 引用
ARTIFICIAL INTELLIGENCE 2023年 325卷
作者: Schidler, Andre Szeider, Stefan TU Wien Algorithms & Complex Grp Vienna Austria
Hypertree width is a prominent hypergraph invariant with many algorithmic applications in constraint satisfaction and databases. We propose two novel characterisations hypertree width in terms of linear orderings. We ... 详细信息
来源: 评论
Solving complex problems using model transformations: from set constraint modeling to SAT instance solving
收藏 引用
EXPERT SYSTEMS WITH APPLICATIONS 2020年 149卷 113243-000页
作者: Lardeux, Frederic Monfroy, Eric Rodriguez-Tello, Eduardo Crawford, Broderick Soto, Ricardo Univ Angers LERIA 2 Blvd Lavoisier F-49045 Angers France Univ Nantes LS2N UMR 6004 2 Rue Houssiniere F-44322 Nantes France Cinvestav Tamaulipas Km 5-5 Carretera Victoria Soto La Marina Victoria Tamps 87130 Mexico Pontificia Univ Catolica Valparaiso Ave Brasil 2950 Valparaiso 2362807 Chile
On the one hand, solvers for the propositional satisfiability problem (SAT) can deal with huge instances composed of millions of variables and clauses. On the other hand, constraint Satisfaction Problems (CSP) can mod... 详细信息
来源: 评论
A comparative study of modeling and solution approaches for the multi-mode resource-constrained discrete time-cost trade-off problem: Case study of an ERP implementation project
收藏 引用
COMPUTERS & INDUSTRIAL ENGINEERING 2022年 第0期169卷
作者: Cakir, Gizem Subulan, Kemal Yildiz, Seyda Topaloglu Hamzadayi, Alper Asilkefeli, Ceren Dokuz Eylul Univ Grad Sch Nat & Appl Sci Izmir Turkey Dokuz Eylul Univ Fac Engn Dept Ind Engn Izmir Turkey Van Yuzuncu Yil Univ Dept Ind Engn Van Turkey
Most knowledge-intensive industries, especially companies developing software engineering projects such as Enterprise Resource Planning (ERP) implementation projects, generally necessitate finding the optimal trade-of... 详细信息
来源: 评论
Logic-based Benders decomposition for the preemptive flexible job-shop scheduling problem
收藏 引用
COMPUTERS & OPERATIONS RESEARCH 2023年 第1期152卷
作者: Juvin, Carla Houssin, Laurent Lopez, Pierre Univ Toulouse LAAS CNRS CNRS Toulouse France ISAE SUPAERO Toulouse France
In this paper, we focus on exact methods to solve the preemptive flexible job-shop scheduling problem with makespan minimisation objective function. Mathematical and constraint programming models enable the resolution... 详细信息
来源: 评论
INTERFACE MODELING FOR QUALITY AND RESOURCE MANAGEMENT
收藏 引用
LOGICAL METHODS IN COMPUTER SCIENCE 2021年 第2期17卷 19:1-19:34页
作者: Hendriks, Martijn Geilen, Marc Goossens, Kees de Jong, Rob Basten, Twan Eindhoven Univ Technol Eindhoven Netherlands ESI TNO Eindhoven Netherlands Philips Med Syst Int BV Best Netherlands
We develop an interface-modeling framework for quality and resource management that captures configurable working points of hardware and software components in terms of functionality, resource usage and provision, and... 详细信息
来源: 评论
Automatic generation of dominance breaking nogoods for a class of constraint optimization problems
收藏 引用
ARTIFICIAL INTELLIGENCE 2023年 第1期323卷
作者: Lee, Jimmy H. M. Zhong, Allen Z. Chinese Univ Hong Kong Dept Comp Sci & Engineenng Shatin Hong Kong Peoples R China
constraint Optimization Problems (COPs) ask for an assignment of values to variables in order to optimize an objective subject to constraints that restrict the value combinations in the assignment. They are usually so... 详细信息
来源: 评论
Multi-criteria decision analysis for non-conformance diagnosis: A priority-based strategy combining data and business rules
收藏 引用
EXPERT SYSTEMS WITH APPLICATIONS 2021年 183卷 115212-115212页
作者: Ceballos, Rafael Borrego, Diana Teresa Gomez-Lopez, Maria Gasca, Rafael M. Univ Seville Dept Comp Sci Seville Spain
Business process analytics and verification have become a major challenge for companies, especially when process data is stored across different systems. It is important to ensure Business Process Compliance in both d... 详细信息
来源: 评论
Optimising the flight turnaround schedules: An improved sliding time windows based on MILP and CP models
收藏 引用
COMPUTERS & OPERATIONS RESEARCH 2024年 161卷
作者: Zhang, Sicheng Li, Xiang Yuan, Xing Liu, Jiaming Peng, Jinlin Li, Dongmei China Rongtong Artificial Intelligence Res Ctr Chaoyang 100022 Beijing Peoples R China Changan Univ Sch Econ & Management Xian 710064 Shaanxi Peoples R China Beijing Technol & Business Univ Sch Int Econ & Management Chaoyang 100048 Beijing Peoples R China Natl Inst Def Sci & Technol Innovat Beijing 100071 Peoples R China
This paper addresses the scheduling of turnaround operations for flights in civil airports. A series of complex issues, including the heterogeneity of flights and operators, resource constraints on turnaround operatio... 详细信息
来源: 评论
A global constraint for sequential pattern mining
收藏 引用
Revue d'Intelligence Artificielle 2016年 第6期30卷 675-703页
作者: Kemmar, Amina Lebbah, Yahia Loudni, Samir Boizumault, Patrice Charnois, Thierry Université d'Oran 1 Lab. LITIO B.P. 1524 El-M'Naouar Oran31000 Algeria Université de Caen Basse-Normandie GREYC Caen14032 France Université Paris-Nord LIPN Villetaneuse93430 France
Sequential pattern mining under constraints is a challenging data mining task. Many efficient ad hoc methods have been developed for mining sequential patterns, but they are all suffering from a lack of genericity. Re... 详细信息
来源: 评论