Recursive Online Enumeration of All Minimal Unsatisfiable Subsets

Publication
In Automated Technology for Verification and Analysis - 16th International Symposium
Jaroslav Bendík
Jaroslav Bendík
Post-doctoral researcher