by Mohimenul Kabir, Flavio O. Everardo, Ankit K. Shukla, Markus Hecher, Johannes Klaus Fichte, Kuldeep S. Meel
Reference:
ApproxASP - a Scalable Approximate Answer Set CounterMohimenul Kabir, Flavio O. Everardo, Ankit K. Shukla, Markus Hecher, Johannes Klaus Fichte, Kuldeep S. MeelProceedings of AAAI-22, the Thirty-Sixth AAAI Conference on Artificial Intelligence, pages 5755–5764, 2022, The AAAI Press.
Bibtex Entry:
@string{aip="The AAAI Press"}
@inproceedings{DBLP:conf/aaai/KabirESHFM22,
keywords = "reveal",
author = {Mohimenul Kabir and
Flavio O. Everardo and
Ankit K. Shukla and
Markus Hecher and
Johannes Klaus Fichte and
Kuldeep S. Meel},
title = {ApproxASP - a Scalable Approximate Answer Set Counter},
booktitle = {Proceedings of AAAI-22, the Thirty-Sixth AAAI Conference on Artificial Intelligence},
year = {2022},
publisher = AIP,
pages = {5755--5764},
url = {https://ojs.aaai.org/index.php/AAAI/article/view/20518},
}