BerkMin: a Fast and Robust SAT-Solver (0)

by E Goldberg, Y Novikov
Venue:Proc. of Design Automation & Test in Europe