These tools will no longer be maintained as of December 31, 2024. Archived website can be found here. PubMed4Hh GitHub repository can be found here. Contact NLM Customer Service if you have questions.


Pubmed for Handhelds

PUBMED FOR HANDHELDS

Search MEDLINE/PubMed

  • Title: GASAT: a genetic local search algorithm for the satisfiability problem.
    Author: Lardeux F, Saubion F, Hao JK.
    Journal: Evol Comput; 2006; 14(2):223-53. PubMed ID: 16831107.
    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.
    [Abstract] [Full Text] [Related] [New Search]