Exact ASP Counting with Compact Encodings

Mohimenul Kabir, Supratik Chakraborty, Kuldeep S. Meel

AAAI 2024 pp. 10571-10580

doi:10.1609/AAAI.V38I9.28927 /aaai/2024/kabir2024aaai-exact/

Cite

Text

Kabir et al. "Exact ASP Counting with Compact Encodings." AAAI Conference on Artificial Intelligence, 2024. doi:10.1609/AAAI.V38I9.28927

Markdown

[Kabir et al. "Exact ASP Counting with Compact Encodings." AAAI Conference on Artificial Intelligence, 2024.](https://mlanthology.org/aaai/2024/kabir2024aaai-exact/) doi:10.1609/AAAI.V38I9.28927

BibTeX

@inproceedings{kabir2024aaai-exact,
  title     = {{Exact ASP Counting with Compact Encodings}},
  author    = {Kabir, Mohimenul and Chakraborty, Supratik and Meel, Kuldeep S.},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2024},
  pages     = {10571-10580},
  doi       = {10.1609/AAAI.V38I9.28927},
  url       = {https://mlanthology.org/aaai/2024/kabir2024aaai-exact/}
}