BerkMin: a Fast and Robust SAT-Solver," presented at Design Automation (2002)

by E Goldberg, Y Novikov
Venue:Test in Europe (DATE