AMUSE: a minimally-unsatisfiable subformula extractor.

Yoonna Oh, Maher N. Mneimneh, Zaher S. Andraus, Karem A. Sakallah, Igor L. Markov

Browse the full DAC paper archive.