BerkMin: a fast and robust SATsolver, (2002)

by E Goldberg, Y Novikov
Venue:In Design, Automation and Test in Europe (DATE02),