Alert button

Weighted Model Counting in FO2 with Cardinality Constraints and Counting Quantifiers: A Closed Form Formula

Oct 12, 2021
Sagar Malhotra, Luciano Serafini

Share this with someone who'll enjoy it:

View paper onarxiv icon

Share this with someone who'll enjoy it: