Estimating the Number of Local Maxima for k-SAT Instances.

Andreas Alexander Albrecht Peter C. R. Lane Kathleen Steinhöfel

Published in: ISAIM (2008)

Keyphrases

artificial intelligence
sat instances
database
genetic algorithm
computational complexity
randomly generated