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

by E Goldberg, Y Novikov
Venue:in Proceedings of Conference on Design Automation & Test Europe (DATE), 2002