Evolutionary algorithms for the satisfiability problem

Authors:
Jens Gottlieb;Elena Marchiori;Claudio Rossi
Affiliations:
SAP AG, Neurottstrasse 16, 69190 Walldorf, Germany;Department of Computer Science, Free University Amsterdam, de Boelelaan 1081a, 1081 HV Amsterdam, The Netherlands;Department of Computer Science, Ca' Foscari University of Venice, Via Torino 155, 31072 Mestre, Italy
Venue:
Evolutionary Computation
Year:
2002

Citing 19
Cited 26

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
Noise strategies for improving local search

AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
An adaptive evolutionary algorithm for the satisfiability problem

SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
Logic Minimization Algorithms for VLSI Synthesis

Logic Minimization Algorithms for VLSI Synthesis
Computers and Intractability: A Guide to the Theory of NP-Completeness

Computers and Intractability: A Guide to the Theory of NP-Completeness
Cellular Genetic Algorithms

Proceedings of the 5th International Conference on Genetic Algorithms
A Comparative Study of Genetic Search

Proceedings of the 6th International Conference on Genetic Algorithms
Genetic Algorithm Behavior in the MAXSAT Domain

PPSN V Proceedings of the 5th International Conference on Parallel Problem Solving from Nature
Improving the Performance of Evolutionary Algorithms for the Satisfiability Problem by Refining Functions

PPSN V Proceedings of the 5th International Conference on Parallel Problem Solving from Nature
Representations, Fitness Functions and Genetic Operators for the Satisfiability Problem

AE '97 Selected Papers from the Third European Conference on Artificial Evolution
A Superior Evolutionary Algorithm for 3-SAT

EP '98 Proceedings of the 7th International Conference on Evolutionary Programming VII
The complexity of theorem-proving procedures

STOC '71 Proceedings of the third annual ACM symposium on Theory of computing
Performance of Various Computers Using Standard Linear Equations Software

Performance of Various Computers Using Standard Linear Equations Software
EVIDENCE FOR A SATISFIABILITY THRESHOLD FOR RANDOM 3CNF FORMULAS

EVIDENCE FOR A SATISFIABILITY THRESHOLD FOR RANDOM 3CNF FORMULAS
An analysis of the behavior of a class of genetic adaptive systems.

An analysis of the behavior of a class of genetic adaptive systems.
Backbone fragility and the local search cost peak

Journal of Artificial Intelligence Research
Evidence for invariants in local search

AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Weighting for godot: learning heuristics for GSAT

AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1

Evolutionary local search of fuzzy rules through a novel neuro-fuzzy encoding method

Evolutionary Computation
LARES: An Artificial Chemical Process Approach for Optimization

Evolutionary Computation
GASAT: a genetic local search algorithm for the satisfiability problem

Evolutionary Computation
A note on problem difficulty measures in black-box optimization: Classification, realizations and predictability

Evolutionary Computation
Automated discovery of local search heuristics for satisfiability testing

Evolutionary Computation
Using previous models to bias structural learning in the hierarchical BOA

Proceedings of the 10th annual conference on Genetic and evolutionary computation
A comparative runtime analysis of heuristic algorithms for satisfiability problems

Artificial Intelligence
Evolutionary Genetic Algorithms in a Constraint Satisfaction Problem: Puzzle Eternity II

IWANN '09 Proceedings of the 10th International Work-Conference on Artificial Neural Networks: Part I: Bio-Inspired Systems: Computational and Ambient Intelligence
OEA_SAT: an organizational evolutionary algorithm for solving satisfiability problems

CEC'09 Proceedings of the Eleventh conference on Congress on Evolutionary Computation
Massively parallel evolution of SAT heuristics

CEC'09 Proceedings of the Eleventh conference on Congress on Evolutionary Computation
Evolutionary techniques in a constraint satisfaction problem: puzzle eternity II

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
Hierarchical BOA solves ising spin glasses and MAXSAT

GECCO'03 Proceedings of the 2003 international conference on Genetic and evolutionary computation: PartII
Evolutionary computing for the satisfiability problem

EvoWorkshops'03 Proceedings of the 2003 international conference on Applications of evolutionary computing
Ant colony optimization with adaptive fitness function for satisfiability testing

WoLLIC'07 Proceedings of the 14th international conference on Logic, language, information and computation
A word equation solver based on Levensthein distance

MICAI'07 Proceedings of the artificial intelligence 6th Mexican international conference on Advances in artificial intelligence
Inc*: an incremental approach for improving local search heuristics

EvoCOP'08 Proceedings of the 8th European conference on Evolutionary computation in combinatorial optimization
Generating SAT local-search heuristics using a GP hyper-heuristic framework

EA'07 Proceedings of the Evolution artificielle, 8th international conference on Artificial evolution
Towards evolutionary DNA computing

IWINAC'05 Proceedings of the First international conference on Mechanisms, Symbols, and Models Underlying Cognition: interplay between natural and artificial computation - Volume Part I
Using previous models to bias structural learning in the hierarchical boa

Evolutionary Computation
An evolutionary local search algorithm for the satisfiability problem

TAINN'05 Proceedings of the 14th Turkish conference on Artificial Intelligence and Neural Networks
Analyzing radar emitter signals with membrane algorithms

Mathematical and Computer Modelling: An International Journal
A multilevel memetic algorithm for large sat-encoded problems

Evolutionary Computation
Finite satisfiability of propositional interval logic formulas with multi-objective evolutionary algorithms

Proceedings of the twelfth workshop on Foundations of genetic algorithms XII
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

Several evolutionary algorithms have been proposed for the satisfiability problem. We review the solution representations suggested in literature and choose the most promising one - the bit string representation - for further evaluation. An empirical comparison on commonly used benchmarks is presented for the most successful evolutionary algorithms and for WSAT, a prominent local search algorithm for the satisfiability problem. The key features of successful evolutionary algorithms are identified, thereby providing useful methodological guidelines for designing new heuristics. Our results indicate that evolutionary algorithms are competitive to WSAT.