Author:Ivana Cerna

Publications
Rotation Based MSS/MCS Enumeration Jaroslav Bendík and Ivana Cerna In:LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Evaluation of Domain Agnostic Approaches for Enumeration of Minimal Unsatisfiable Subsets Jaroslav Bendík and Ivana Cerna In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning