Evolutionary Algorithms for the Satisfiability Problem

13 years 10 months ago

Download www.cs.ru.nl

Several evolutionary algorithms have been proposed for the satisfiability problem. We review the solution representations suggested in literature and choose the most promising one

Jens Gottlieb, Elena Marchiori, Claudio Rossi

Real-time Traffic

EC 2002 | ECommerce | Evolutionary Algorithm | Satisfiability Problem | Successful Evolutionary Algorithms |

claim paper

» An Adaptive Evolutionary Algorithm for the Satisfiability Problem

» GASAT A Genetic Local Search Algorithm for the Satisfiability Problem

» Automated Discovery of Local Search Heuristics for Satisfiability Testing

» Solving Bilevel MultiObjective Optimization Problems Using Evolutionary Algorithms

» Application of Multiobjective Evolutionary Algorithms for Dose Optimization Problems in Br...

» A hybrid evolutionary approach to the university course timetabling problem

» Semidefinite Optimization Approaches for Satisfiability and MaximumSatisfiability Problems

» Transition models as an incremental approach for problem solving in evolutionary algorithm...

Post Info
More Details (n/a)

Added	18 Dec 2010
Updated	18 Dec 2010
Type	Journal
Year	2002
Where	EC
Authors	Jens Gottlieb, Elena Marchiori, Claudio Rossi

Comments (0)

Sciweavers

Evolutionary Algorithms for the Satisfiability Problem

EC 2002 | ECommerce | Evolutionary Algorithm | Satisfiability Problem | Successful Evolutionary Algorithms |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers