AMUSE: a minimally-unsatisfiable subformula extractor. (2004)

by Y Oh, M N Mneimneh, Z S Andraus, K A Sakallah, I L Markov
Venue:In Design Automation Conference,