UnitWalk: A new SAT solver that uses local search guided by unit clause elimination (0)

by E Hirsch, A Kojevnikov
Venue:Annals of Math. and Artif. Intelligence 2005