BerkMin: A fast and robust SAT solver (0)

by E GOLDBERG, Y NOVIKOV
Venue:In Proceedings of the Fifth Conference on Design, Automation and Test in Europe (DATE’02). IEEE Computer