On Decomposition of Maximal Satisfiable Subsets

Publication
In Formal Methods in Computer-Aided Design 2021
Jaroslav Bendík
Jaroslav Bendík
Post-doctoral researcher