Algebraic model counting

Angelika Kimmig, Guy Van den Broeck, Luc De Raedt. Algebraic model counting. J. Applied Logic, 22:46-62, 2017. [doi]

Abstract

Abstract is missing.