Publication details

Counting Maximal Satisfiable Subsets

Authors

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

Citation

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

More info