DMCA

AMUSE: A Minimally-Unsatisfiable Subformula Extractor (2004)

by Yoonna Oh , Maher N. Mneimneh , Zaher S. Andraus , Karem A. Sakallah , Igor L. Markov
Citations:50 - 5 self