Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

Related Experiment Videos

GASAT: a genetic local search algorithm for the satisfiability problem.

Frédéric Lardeux1, Frédéric Saubion, Jin-Kao Hao

  • 1LERIA, University of Angers, F-49045 Angers Cedex, France. lardeux@info.univ-angers.fr

Evolutionary Computation
|July 13, 2006
PubMed
Summary
This summary is machine-generated.

Related Concept Videos

You might also read

Related Articles

Articles linked to this work by shared authors, journal, and citation graph.

Sort by
Same author

Coexistence of monogamy and polygyny in Triatoma infestans: fine-scale genealogical structure reveals complex social structures within domestic colonies in the Bolivian Chaco

Memorias do Instituto Oswaldo Cruz·2026
Same author

Matrix free laser desorption ionization coupled to trapped ion mobility mass spectrometry: an innovative approach for isomer differentiation and molecular network visualization.

Talanta·2025
Same author

First concrete documentation for presence of Aedes (Stegomyia) albopictus in Bolivia: dispelling previous anecdotes.

Memorias do Instituto Oswaldo Cruz·2024
Same author

Presence of Triatoma breyeri (Reduviidae, Triatominae) in Bolivia.

PloS one·2024
Same author

A double-decomposition based parallel exact algorithm for the feedback length minimization problem.

PeerJ. Computer science·2023
Same author

Deep learning and wing interferential patterns identify Anopheles species and discriminate amongst Gambiae complex species.

Scientific reports·2023
Same journal

Computing Optimal Populations for Binary Problems using Logic Minimization.

Evolutionary computation·2026
Same journal

Enhancing Generalization and Scalability for Multi-Objective Optimization with Population Pre-Training.

Evolutionary computation·2026
Same journal

XCS for Sequential Perceptual Aliasing in Multi-Step Decision Making.

Evolutionary computation·2026
Same journal

A dynamic multi-objective evolutionary algorithm using dual-space prediction and surrogate-based sampling.

Evolutionary computation·2026
Same journal

Adapting MOEA/D to CMA-ES for Dealing with Ill-conditioned Multiobjective Problems.

Evolutionary computation·2026
Same journal

Editorial of the Special Issue: Parallel Problem Solving from Nature PPSN 2024 Extended Versions of Best Paper Candidates.

Evolutionary computation·2026
See all related articles

This study introduces GASAT, a hybrid algorithm for the satisfiability problem (SAT). GASAT demonstrates competitive performance against leading SAT solvers, showcasing its effectiveness.

Area of Science:

  • Artificial Intelligence
  • Computer Science
  • Algorithm Design

Background:

  • The satisfiability problem (SAT) is a fundamental challenge in computer science with broad applications.
  • Developing efficient algorithms for SAT is crucial for solving complex computational problems.

Purpose of the Study:

  • To introduce GASAT, a novel hybrid algorithm designed for the satisfiability problem (SAT).
  • To evaluate the performance of GASAT and its components against existing state-of-the-art SAT algorithms.

Main Methods:

  • GASAT integrates a recombination stage featuring a specific crossover mechanism.
  • A tabu search stage is incorporated as a key component of the GASAT algorithm.
  • Experimental evaluations were performed to assess individual components and overall performance.

Related Experiment Videos

Main Results:

  • GASAT exhibits highly competitive results when compared to current leading SAT algorithms.
  • The experimental analysis validates the effectiveness of GASAT's hybrid approach.

Conclusions:

  • GASAT represents a promising advancement in the field of SAT solving.
  • The hybrid nature of GASAT, combining crossover and tabu search, contributes to its strong performance.