HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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

Keyphrases

diagnosis, Domain-agnostic, Infeasibility analysis2, Maximal satisfiable subsets, MCS, Minimal Correction Subsets, minimal unsatisfiable subsets, MSS, MUS enumeration, Unsatisfiability analysis.

Copyright © 2012-2023 easychair.org. All rights reserved.