Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing.

M. Fareed Arif, Carlos Menca, Joo Marques-Silva

Browse the full SAT paper archive.