Combinatorial landscape analysis for k-SAT instances.

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

Published in: IEEE Congress on Evolutionary Computation (2008)

Keyphrases

upper bound

temporal logic