Efficient MUS enumeration of Horn formulae with applications to axiom pinpointing

Date:

Slides