This page shows all presentations of this author published in EasyChair Smart Slide.
Evaluation of Domain Agnostic Approaches for Enumeration of Minimal Unsatisfiable Subsets
Jaroslav Bendík and Ivana Cerna