Evaluation of Domain Agnostic Approaches for Enumeration of Minimal Unsatisfiable Subsets

Publication
In 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Jaroslav Bendík
Jaroslav Bendík
Post-doctoral researcher