ApproxASP - a Scalable Approximate Answer Set Counter

Kabir, Mohimenul; Everardo, Flavio O.; Shukla, Ankit K.; Hecher, Markus; Fichte, Johannes Klaus; Meel, Kuldeep S.

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},
}