Informace o publikaci

Counting Maximal Satisfiable Subsets

Autoři

BENDÍK Jaroslav MEEL Kuldeep S.

Rok publikování 2021
Druh Článek ve sborníku
Konference 35th AAAI Conference on Artificial Intelligence (AAAI-21)
Fakulta / Pracoviště MU

Fakulta informatiky

Citace

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info