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

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