Clustering at the phase transitionLifted search engines for satisfiabilityTuning Local Search for Satisfiability Testing
