Recursive Online Enumeration of All Minimal Unsatisfiable Subsets

Jaroslav Bendík, Ivana Černá, Nikola Beneš
June 2018
PDF Cite
Type
Conference paper
Publication
In Automated Technology for Verification and Analysis - 16th International Symposium
Jaroslav Bendík
Jaroslav Bendík
SMT Team Lead