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

Cached

Download Links

by Edward A. Hirsch , Arist Kojevnikov
Citations:63 - 1 self