Pietro Totis, Jesse Davis, Luc De Raedt, Angelika Kimmig. Lifted Reasoning for Combinatorial Counting. J. Artif. Intell. Res. (JAIR), 76:1-58, 2023. [doi]
@article{TotisDRK23,
title = {Lifted Reasoning for Combinatorial Counting},
author = {Pietro Totis and Jesse Davis and Luc De Raedt and Angelika Kimmig},
year = {2023},
doi = {10.1613/jair.1.14062},
url = {https://doi.org/10.1613/jair.1.14062},
researchr = {https://researchr.org/publication/TotisDRK23},
cites = {0},
citedby = {0},
journal = {J. Artif. Intell. Res. (JAIR)},
volume = {76},
pages = {1-58},
}