AMUSE: a minimally-unsatisfiable subformula extractor.

Autor: Yoonna Oh, Mneimneh, M.N., Andraus, Z.S., Sakallah, K.A., Markov, I.L.
Zdroj: Proceedings 41st Design Automation Conference, 2004; 2004, p518-523, 6p
Databáze: Complementary Index