BerkMin: A Fast and Robust (2002)

by E Goldberg, Y Novikov
Venue:Sat-Solver”, in DATE