Evaluation of Domain Agnostic Approaches for Enumeration of Minimal Unsatisfiable Subsets

Jaroslav Bendík, Ivana Černá
June 2018
PDF Cite
Type
Conference paper
Publication
In 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Jaroslav Bendík
Jaroslav Bendík
SMT Team Lead