@ARTICLE{2024arXiv240412905T,
    author = {{T{\'o}th}, Jan and {Ku{\v{z}}elka}, Ond{\v{r}}ej},
    title = {{Complexity of Weighted First-Order Model Counting in the Two-Variable Fragment with Counting Quantifiers: A Bound to Beat}},
    journal = {arXiv e-prints},
    keywords = {Computer Science - Logic in Computer Science},
    year = {2024},
    month = {apr},
    eid = {arXiv:2404.12905},
    pages = {arXiv:2404.12905},
    doi = {10.48550/arXiv.2404.12905},
    archiveprefix = {arXiv},
    eprint = {2404.12905},
    primaryclass = {cs.LO},
    adsurl = {https://ui.adsabs.harvard.edu/abs/2024arXiv240412905T},
    adsnote = {Provided by the SAO/NASA Astrophysics Data System},
    date-added = {2024-5-15 22:33:30 +0100}
}

@ARTICLE{2024arXiv240412905T, author = {{T{\'o}th}, Jan and {Ku{\v{z}}elka}, Ond{\v{r}}ej}, title = {{Complexity of Weighted First-Order Model Counting in the Two-Variable Fragment with Counting Quantifiers: A Bound to Beat}}, journal = {arXiv e-prints}, keywords = {Computer Science - Logic in Computer Science}, year = {2024}, month = {apr}, eid = {arXiv:2404.12905}, pages = {arXiv:2404.12905}, doi = {10.48550/arXiv.2404.12905}, archiveprefix = {arXiv}, eprint = {2404.12905}, primaryclass = {cs.LO}, adsurl = {https://ui.adsabs.harvard.edu/abs/2024arXiv240412905T}, adsnote = {Provided by the SAO/NASA Astrophysics Data System}, date-added = {2024-5-15 22:33:30 +0100} }