Counting Maximal Satisfiable Subsets

Publication
In 35th AAAI Conference on Artificial Intelligence
Jaroslav Bendík
Jaroslav Bendík
Post-doctoral researcher