Sciweavers

DAC
2004
ACM

AMUSE: a minimally-unsatisfiable subformula extractor

14 years 11 months ago
AMUSE: a minimally-unsatisfiable subformula extractor
Yoonna Oh, Maher N. Mneimneh, Zaher S. Andraus, Ka
Added 13 Nov 2009
Updated 13 Nov 2009
Type Conference
Year 2004
Where DAC
Authors Yoonna Oh, Maher N. Mneimneh, Zaher S. Andraus, Karem A. Sakallah, Igor L. Markov
Comments (0)