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

by E A Hirsch, A Kojevnikov
Venue:Ann. Math. Artificial Intelligence