Accéder directement au contenu Accéder directement à la navigation
Article dans une revue

GASAT: A Genetic Local Search Algorithm for the Satisfiability Problem

Abstract : 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.
Type de document :
Article dans une revue
Liste complète des métadonnées

https://hal.univ-angers.fr/hal-03377721
Contributeur : Frédéric Lardeux Connectez-vous pour contacter le contributeur
Soumis le : jeudi 14 octobre 2021 - 11:49:34
Dernière modification le : mercredi 20 octobre 2021 - 03:19:09

Fichier

evco.2006.14.2.223.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

Collections

Citation

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

Partager

Métriques

Consultations de la notice

7

Téléchargements de fichiers

15