ERA: An Algorithm for Reducing the Epistasis of SAT Problems.

Eduardo Rodriguez-Tello Jose Torres-Jimenez

Published in: GECCO (2003)

Keyphrases

learning algorithm
computational complexity
randomly generated
dynamic programming
optimal solution
cost function
search algorithm
search space
state space
automated reasoning