Lifted Reasoning for Combinatorial Counting.Journal of Artificial Intelli- gence Research, 76:1–58, January 2023

Pietro Totis, Jesse Davis, Luc De Raedt, Angelika Kimmig · 2023 · DOI 10.1613/jair.1.14062

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it

open at publisher browse 1 citing papers

representative citing papers

cs.AI · 2026-05-24 · unverdicted · novelty 6.0

Cofola language and three-phase compiler reduce combinatorial counting problems to practical WFOMC instances while preserving symmetries.

Showing 1 of 1 citing paper after filters.

Solving Combinatorial Counting Problems with Weighted First-Order Model Counting cs.AI · 2026-05-24 · unverdicted · none · ref 27
Cofola language and three-phase compiler reduce combinatorial counting problems to practical WFOMC instances while preserving symmetries.