Publication details

Counting Maximal Satisfiable Subsets


BENDÍK Jaroslav MEEL Kuldeep S.

Year of publication 2021
Type Article in Proceedings
Conference 35th AAAI Conference on Artificial Intelligence (AAAI-21)
MU Faculty or unit

Faculty of Informatics


You are running an old browser version. We recommend updating your browser to its latest version.

More info