GASAT: A Genetic Local Search Algorithm for the Satisfiability Problem - Université d'Angers Accéder directement au contenu
Article Dans Une Revue Evolutionary Computation Année : 2006

GASAT: A Genetic Local Search Algorithm for the Satisfiability Problem

Frédéric Saubion
Jin-Kao Hao

Résumé

This paper presents GASAT, a hybrid algorithm for the satisfiability problem (SAT). The main feature of GASAT is that it includes a recombination stage based on a specific crossover and a tabu search stage. We have conducted experiments to evaluate the different components of GASAT and to compare its overall performance with state-of-the-art SAT algorithms. These experiments show that GASAT provides very competitive results.
Fichier principal
Vignette du fichier
evco.2006.14.2.223.pdf (365.73 Ko) Télécharger le fichier
Origine Fichiers éditeurs autorisés sur une archive ouverte

Dates et versions

hal-03377721 , version 1 (14-10-2021)

Identifiants

Citer

Frédéric Lardeux, Frédéric Saubion, Jin-Kao Hao. GASAT: A Genetic Local Search Algorithm for the Satisfiability Problem. Evolutionary Computation, 2006, 14 (2), pp.223-253. ⟨10.1162/evco.2006.14.2.223⟩. ⟨hal-03377721⟩

Collections

UNIV-ANGERS LERIA
14 Consultations
87 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More