Kuzelka, Ondrej

Kuzelka, O. (2023). Counting and Sampling Models in First-Order Logic. In Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023, 19th-25th August 2023, Macao, SAR, China (pp. 7020–7025). ijcai.org.

Citation

@inproceedings{kuzelka2023,
  author = {Kuzelka, Ondrej},
  title = {Counting and Sampling Models in First-Order Logic},
  booktitle = {Proceedings of the Thirty-Second International Joint Conference on
                    Artificial Intelligence, {IJCAI} 2023, 19th-25th August 2023, Macao,
                    SAR, China},
  pages = {7020--7025},
  publisher = {ijcai.org},
  year = {2023},
  url = {https://doi.org/10.24963/ijcai.2023/801},
  doi = {10.24963/IJCAI.2023/801},
  timestamp = {Mon, 28 Aug 2023 17:23:07 +0200},
  biburl = {https://dblp.org/rec/conf/ijcai/Kuzelka23.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}