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

Add code
Oct 12, 2021

Share this with someone who'll enjoy it:

View paper onarxiv icon

Share this with someone who'll enjoy it: