DocumentCode
685185
Title
Hybrid of evolutionary algorithm and multilevel paradigm to solve the satisfiability problem
Author
Bouhmala, Noureddine ; Hjelmervik, Karina ; Overgard, Kjell Ivar
Author_Institution
Technol. & Maritime Sci., Vestfold Univ. Coll., Vestfold, Norway
fYear
2013
fDate
28-30 Oct. 2013
Firstpage
1
Lastpage
4
Abstract
In this work, a memetic algorithm that makes use of the multilevel paradigm for solving SAT problems is presented. The multilevel paradigm refers to the process of dividing large and difficult problems into smaller ones, which are hopefully much easier to solve, and then work backward towards the solution of the original problem, using a solution from a previous level as a starting solution at the next level. Results on real industrial instances are presented.
Keywords
computability; evolutionary computation; SAT problems; evolutionary algorithm; memetic algorithm; multilevel paradigm; satisfiability problem; Artificial intelligence; Convergence; Evolutionary computation; Memetics; Neural networks; Sociology; Statistics;
fLanguage
English
Publisher
ieee
Conference_Titel
Industrial Engineering and Systems Management (IESM), Proceedings of 2013 International Conference on
Conference_Location
Rabat
Type
conf
Filename
6761428
Link To Document