Mate Soos, Divesh Aggarwal, Sourav Chakraborty 0001, Kuldeep S. Meel, Maciej Obremski. Engineering an Efficient Approximate DNF-Counter. In Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023, 19th-25th August 2023, Macao, SAR, China. pages 2031-2038, ijcai.org, 2023. [doi]
@inproceedings{SoosA0MO23,
title = {Engineering an Efficient Approximate DNF-Counter},
author = {Mate Soos and Divesh Aggarwal and Sourav Chakraborty 0001 and Kuldeep S. Meel and Maciej Obremski},
year = {2023},
doi = {10.24963/ijcai.2023/226},
url = {https://doi.org/10.24963/ijcai.2023/226},
researchr = {https://researchr.org/publication/SoosA0MO23},
cites = {0},
citedby = {0},
pages = {2031-2038},
booktitle = {Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023, 19th-25th August 2023, Macao, SAR, China},
publisher = {ijcai.org},
}