Local search algorithms for SAT: An empirical evaluation (2000)

by Holger H. Hoos , Thomas Stützle
Venue:JOURNAL OF AUTOMATED REASONING
Citations:62 - 18 self