GASAT: a genetic local search algorithm for the satisfiability problem

Authors:
Frédéric Lardeux;Frédéric Saubion;Jin-Kao Hao
Affiliations:
LERIA, University of Angers, Angers Cedex, FRANCE;LERIA, University of Angers, Angers Cedex, FRANCE;LERIA, University of Angers, Angers Cedex, FRANCE
Venue:
Evolutionary Computation
Year:
2006

Citing 19
Cited 19

Uniform crossover in genetic algorithms

Proceedings of the third international conference on Genetic algorithms
Using genetic algorithms to solve NP-complete problems

Proceedings of the third international conference on Genetic algorithms
Algorithms for the maximum satisfiability problem

Computing
Noise strategies for improving local search

AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
Symbolic model checking using SAT procedures instead of BDDs

Proceedings of the 36th annual ACM/IEEE Design Automation Conference
New ideas in optimization

New ideas in optimization
An adaptive evolutionary algorithm for the satisfiability problem

SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
A machine program for theorem-proving

Communications of the ACM
Tabu Search

Tabu Search
Computers and Intractability: A Guide to the Theory of NP-Completeness

Computers and Intractability: A Guide to the Theory of NP-Completeness
Evolutionary algorithms for the satisfiability problem

Evolutionary Computation
Theoretical Study of Symmetries in Propositional Calculus and Applications

CADE-11 Proceedings of the 11th International Conference on Automated Deduction: Automated Deduction
SATO: An Efficient Propositional Prover

CADE-14 Proceedings of the 14th International Conference on Automated Deduction
Integrating Equivalency Reasoning into Davis-Putnam Procedure

Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Heuristics based on unit propagation for satisfiability problems

IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
A backbone-search heuristic for efficient solving of hard 3-SAT formulae

IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Evolutionary computing for the satisfiability problem

EvoWorkshops'03 Proceedings of the 2003 international conference on Applications of evolutionary computing
Tabu search for SAT

AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Asynchronous circuit synthesis with Boolean satisfiability

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Evolutionary algorithms for reasoning in fuzzy description logics with fuzzy quantifiers

Proceedings of the 9th annual conference on Genetic and evolutionary computation
Automated discovery of local search heuristics for satisfiability testing

Evolutionary Computation
A Tabu history driven crossover operator design for memetic algorithm applied to Max-2SAT-problems

Proceedings of the 10th annual conference on Genetic and evolutionary computation
A search agent for a Max-2sat memetic algorithm approach

ACACOS'08 Proceedings of the 7th WSEAS International Conference on Applied Computer and Applied Computational Science
A Compass to Guide Genetic Algorithms

Proceedings of the 10th international conference on Parallel Problem Solving from Nature: PPSN X
A comparative runtime analysis of heuristic algorithms for satisfiability problems

Artificial Intelligence
Comparing the performance of the genetic and local search algorithms for solving the satisfiability problems

Applied Soft Computing
Massively parallel evolution of SAT heuristics

CEC'09 Proceedings of the Eleventh conference on Congress on Evolutionary Computation
Hybridizing Evolutionary Negative Selection Algorithm and Local Search for Large-Scale Satisfiability Problems

ISICA '09 Proceedings of the 4th International Symposium on Advances in Computation and Intelligence
Improving GASAT by replacing tabu search by DLM and enhancing the best members

Artificial Intelligence Review
Improvements to hybrid incremental SAT algorithms

SAT'08 Proceedings of the 11th international conference on Theory and applications of satisfiability testing
Autonomous operator management for evolutionary algorithms

Journal of Heuristics
From adaptive to more dynamic control in evolutionary algorithms

EvoCOP'11 Proceedings of the 11th European conference on Evolutionary computation in combinatorial optimization
Adaptive memory-based local search for MAX-SAT

Applied Soft Computing
A multilevel memetic algorithm for large sat-encoded problems

Evolutionary Computation
IslandSAT

International Journal of Advanced Intelligence Paradigms
Gases Brownian Motion Optimization: an Algorithm for Optimization (GBMO)

Applied Soft Computing
pEvoSAT: a novel permutation based genetic algorithm for solving the boolean satisfiability problem

Proceedings of the 15th annual conference on Genetic and evolutionary computation
A survey of the satisfiability-problems solving algorithms

International Journal of Advanced Intelligence Paradigms

Quantified Score

Hi-index	0.00

Visualization

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.