Boosting minimal unsatisfiable core extraction. (2010)

by A Nadel
Venue:In Formal Methods in ComputerAided Design,