MMODELYST
People/Ondřej Kuželka
PPL

Ondřej Kuželka

Papers (2)
Solving Combinatorial Counting Problems with Weighted First-Order Model CountingA Fast Model Counting Algorithm for Two-Variable Logic with Counting and Modulo Counting Quantifiers