Article ID: | iaor20002312 |
Country: | Netherlands |
Volume: | 96/97 |
Start Page Number: | 3 |
End Page Number: | 27 |
Publication Date: | Oct 1999 |
Journal: | Discrete Applied Mathematics |
Authors: | Battiti Roberto, Protasi Marco |
Keywords: | constraint handling languages |
In this paper the performance of the Hamming-based Reactive Tabu Search (H-RTS) algorithm previously proposed for the Maximum Satisfiability problem is studied for the different Maximum