Sciweavers

GECCO
2003
Springer

ERA: An Algorithm for Reducing the Epistasis of SAT Problems

13 years 8 months ago
ERA: An Algorithm for Reducing the Epistasis of SAT Problems
A novel method, for solving satisfiability (SAT) instances is presented. It is based on two components: a) An Epistasis Reducer Algorithm (ERA) that produces a more suited representation (with lower epistasis) for a Genetic Algorithm (GA) by preprocessing the original SAT problem; and b) A Genetic Algorithm that solves the preprocesed instances. ERA is implemented by a simulated annealing algorithm (SA), which transforms the original SAT problem by rearranging the variables to satisfy the condition that the most related ones are in closer positions inside the chromosome. Results of experimentation demonstrated that the proposed combined approach outperforms GA in all the tests accomplished.
Eduardo Rodriguez-Tello, Jose Torres-Jimenez
Added 06 Jul 2010
Updated 06 Jul 2010
Type Conference
Year 2003
Where GECCO
Authors Eduardo Rodriguez-Tello, Jose Torres-Jimenez
Comments (0)