MUST: Minimal Unsatisfiable Subsets Enumeration Tool

Publication
In Tools and Algorithms for the Construction and Analysis of Systems - 26th International Conference
Jaroslav Bendík
Jaroslav Bendík
Post-doctoral researcher