Cofola language and three-phase compiler reduce combinatorial counting problems to practical WFOMC instances while preserving symmetries.
Weighted first order model counting for two-variable logic with axioms on two relations.arXiv preprint arXiv:2508.11515, 2025
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.AI 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Solving Combinatorial Counting Problems with Weighted First-Order Model Counting
Cofola language and three-phase compiler reduce combinatorial counting problems to practical WFOMC instances while preserving symmetries.