| |
| 2004 | ||
|---|---|---|
| 1 | EE | Yoonna Oh, Maher N. Mneimneh, Zaher S. Andraus, Karem A. Sakallah, Igor L. Markov: AMUSE: a minimally-unsatisfiable subformula extractor. DAC 2004: 518-523 |
| 1 | Zaher S. Andraus | [1] |
| 2 | Igor L. Markov | [1] |
| 3 | Maher N. Mneimneh | [1] |
| 4 | Karem A. Sakallah | [1] |