Algebraic model counting
Kimmig, Angelika, Van den Broeck, Guy, De Raedt, LucLanguage:
english
Journal:
Journal of Applied Logic
DOI:
10.1016/j.jal.2016.11.031
Date:
November, 2016
File:
PDF, 828 KB
english, 2016