Berkmin: A fast and robust sat solver (2002)

by E Goldberg, Y Novikov
Venue:in Design Automation and Test in Europe