Integrating a SMT Solver based Local Search in Ant Colony Optimization for Solving RCMPSP

被引：0
|
作者：
Gomez Sanchez, Mariam [1 ]
Fernandez Gil, Alejandro [1 ]
Castro, Carlos [1 ]
机构：
[1] Univ Tecn Federico Santa Maria, Dept Informat, Valparaiso, Chile
来源：
2019 IEEE LATIN AMERICAN CONFERENCE ON COMPUTATIONAL INTELLIGENCE (LA-CCI) | 2019年
关键词：
Ant Colony Optimization; Combinatorial Optimization; Multi Project Scheduling Problem; Local Search; SMT Solver; PROJECT; ALGORITHM; MODEL;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
The project scheduling problem has been widely studied given the practical importance it has and the complexity to find efficient solutions. In this work we address an extension of the same problem based on the Resource-Constrained Multi-Project Scheduling Problem, taking into account that each project has a set of own resources available for consumption. We propose a hybrid algorithm based on Ant Colony Optimization and a Local Search procedure based on Hill-Climbing First Improvement supported by an SMT Solver as a movement satisfaction verifier. Our approach was tested with a set of 12 instances belonging to the MPSPLIB datasets. We have obtained near-optimal solutions for several instances of the problem.
引用
收藏
页码：106 / 111
页数：6
相关论文
共 50 条
  • [1] A New Local Search Based Ant Colony Optimization Algorithm for Solving Combinatorial Optimization Problems
    Hassan, Md. Rakib
    Islam, Md. Monirul
    Murase, Kazuyuki
    [J]. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2010, E93D (05): : 1127 - 1136
  • [2] Local Search based Ant Colony Optimization for Scheduling in Cloud Computing
    Gondhi, Naveen Kumar
    Sharma, Aditya
    [J]. 2015 SECOND INTERNATIONAL CONFERENCE ON ADVANCES IN COMPUTING AND COMMUNICATION ENGINEERING ICACCE 2015, 2015, : 432 - 436
  • [3] Orthogonal Methods Based Ant Colony Search for Solving Continuous Optimization Problems
    Xiao-Min Hu
    Jun Zhang
    Yun Li
    [J]. Journal of Computer Science and Technology, 2008, 23 : 2 - 18
  • [4] Orthogonal Methods Based Ant Colony Search for Solving Continuous Optimization Problems
    胡晓敏
    张军
    李耘
    [J]. Journal of Computer Science & Technology, 2008, 23 (01) : 2 - 18
  • [5] Orthogonal methods based ant colony search for solving continuous optimization problems
    Hu, Xiao-Min
    Zhang, Jun
    Li, Yun
    [J]. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2008, 23 (01): : 2 - 18
  • [6] Ant Colony Optimization with Local Search for Continuous Functions
    Qi, Chengming
    [J]. ADVANCED RESEARCH ON INDUSTRY, INFORMATION SYSTEMS AND MATERIAL ENGINEERING, PTS 1-7, 2011, 204-210 : 1135 - 1138
  • [7] Rigorous Analyses for the Combination of Ant Colony Optimization and Local Search
    Neumann, Frank
    Sudholt, Dirk
    Witt, Carsten
    [J]. ANT COLONY OPTIMIZATION AND SWARM INTELLIGENCE, PROCEEDINGS, 2008, 5217 : 132 - +
  • [8] An Incremental Ant Colony Algorithm with Local Search for Continuous Optimization
    Liao, Tianjun
    de Oca, Marco A. Montes
    Aydin, Dogan
    Stutzle, Thomas
    Dorigo, Marco
    [J]. GECCO-2011: PROCEEDINGS OF THE 13TH ANNUAL GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, 2011, : 125 - 132
  • [9] Solving Sudoku With Ant Colony Optimization
    Lloyd, Huw
    Amos, Martyn
    [J]. IEEE TRANSACTIONS ON GAMES, 2020, 12 (03) : 302 - 311
  • [10] Solving Nurikabe with Ant Colony Optimization
    Amos, Martyn
    Crossley, Matthew
    Lloyd, Huw
    [J]. PROCEEDINGS OF THE 2019 GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE COMPANION (GECCCO'19 COMPANION), 2019, : 129 - 130
12345