Recursive Online Enumeration of All Minimal Unsatisfiable Subsets.

Jaroslav Bendk, Ivana Cern, Nikola Benes

Browse the full ATVA paper archive.