MUST: Minimal Unsatisfiable Subsets Enumeration Tool

Jaroslav Bendík, Ivana Černá
April 2020
PDF Cite
Type
Conference paper
Publication
In Tools and Algorithms for the Construction and Analysis of Systems - 26th International Conference
Jaroslav Bendík
Jaroslav Bendík
SMT Team Lead