Title: Empirical analysis of local search algorithms and problem difficulty in satisfiability
First published: 2006