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 |
Externí odkaz: |