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

by E Hirsch, A Kojevnikov
Venue:2001, PDMI preprint 9/2001, Steklov Institute of Mathematics at St. Petersburg