MMODELYST
People/Yuanhong Wang
PPL

Yuanhong Wang

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