@article{Kuzelka:JAIR:2021,
    Author = {Kuzelka, Ondrej},
    File = {Weighted First-Order Model Counting in the Two-Variable Fragment Counting Quantifiers.pdf},
    Journal = {J. Artif. Intell. Res.},
    Pages = {1281--1307},
    Title = {Weighted First-Order Model Counting in the Two-Variable Fragment With Counting Quantifiers},
    URL = {https://doi.org/10.1613/jair.1.12320},
    Volume = {70},
    Year = {2021},
    bdsk-url-1 = {https://doi.org/10.1613/jair.1.12320},
    bibsource = {dblp computer science bibliography, https://dblp.org},
    biburl = {https://dblp.org/rec/journals/jair/Kuzelka21.bib},
    date-added = {2023-07-06 07:28:18 +0200},
    date-modified = {2023-07-06 07:28:18 +0200},
    timestamp = {Sat, 09 Apr 2022 12:33:10 +0200},
    doi = {10.1613/jair.1.12320}
}

@article{Kuzelka:JAIR:2021, Author = {Kuzelka, Ondrej}, File = {Weighted First-Order Model Counting in the Two-Variable Fragment Counting Quantifiers.pdf}, Journal = {J. Artif. Intell. Res.}, Pages = {1281--1307}, Title = {Weighted First-Order Model Counting in the Two-Variable Fragment With Counting Quantifiers}, URL = {https://doi.org/10.1613/jair.1.12320}, Volume = {70}, Year = {2021}, bdsk-url-1 = {https://doi.org/10.1613/jair.1.12320}, bibsource = {dblp computer science bibliography, https://dblp.org}, biburl = {https://dblp.org/rec/journals/jair/Kuzelka21.bib}, date-added = {2023-07-06 07:28:18 +0200}, date-modified = {2023-07-06 07:28:18 +0200}, timestamp = {Sat, 09 Apr 2022 12:33:10 +0200}, doi = {10.1613/jair.1.12320} }