Evgeny S. Skvortsov: A Theoretical Analysis of Search in GSAT. SAT 2009: 265-275