Login / Signup

Combinatorial landscape analysis for k-SAT instances.

Andreas Alexander AlbrechtPeter C. R. LaneKathleen Steinhöfel
Published in: IEEE Congress on Evolutionary Computation (2008)
Keyphrases
  • artificial intelligence
  • randomly generated
  • sat instances
  • machine learning
  • upper bound
  • temporal logic