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
10 Consultations
62 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More