@inproceedings{DBLP:conf/aaai/KabirESHFM22,
  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 = {Thirty-Sixth {AAAI} Conference on Artificial Intelligence, {AAAI}
               2022, Thirty-Fourth Conference on Innovative Applications of Artificial
               Intelligence, {IAAI} 2022, The Twelveth Symposium on Educational Advances
               in Artificial Intelligence, {EAAI} 2022 Virtual Event, February 22
               - March 1, 2022},
  pages     = {5755--5764},
  publisher = {{AAAI} Press},
  year      = {2022},
  url       = {https://ojs.aaai.org/index.php/AAAI/article/view/20518},
  timestamp = {Mon, 11 Jul 2022 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/aaai/KabirESHFM22.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"duKFjwpN5d78B4qEJ","bibbaseid":"kabir-everardo-shukla-hecher-fichte-meel-approxaspascalableapproximateanswersetcounter-2022","author_short":["Kabir, M.","Everardo, F. O.","Shukla, A. K.","Hecher, M.","Fichte, J. K.","Meel, K. S."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Mohimenul"],"propositions":[],"lastnames":["Kabir"],"suffixes":[]},{"firstnames":["Flavio","O."],"propositions":[],"lastnames":["Everardo"],"suffixes":[]},{"firstnames":["Ankit","K."],"propositions":[],"lastnames":["Shukla"],"suffixes":[]},{"firstnames":["Markus"],"propositions":[],"lastnames":["Hecher"],"suffixes":[]},{"firstnames":["Johannes","Klaus"],"propositions":[],"lastnames":["Fichte"],"suffixes":[]},{"firstnames":["Kuldeep","S."],"propositions":[],"lastnames":["Meel"],"suffixes":[]}],"title":"ApproxASP - a Scalable Approximate Answer Set Counter","booktitle":"Thirty-Sixth AAAI Conference on Artificial Intelligence, AAAI 2022, Thirty-Fourth Conference on Innovative Applications of Artificial Intelligence, IAAI 2022, The Twelveth Symposium on Educational Advances in Artificial Intelligence, EAAI 2022 Virtual Event, February 22 - March 1, 2022","pages":"5755–5764","publisher":"AAAI Press","year":"2022","url":"https://ojs.aaai.org/index.php/AAAI/article/view/20518","timestamp":"Mon, 11 Jul 2022 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/aaai/KabirESHFM22.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/aaai/KabirESHFM22,\n author = {Mohimenul Kabir and\n Flavio O. Everardo and\n Ankit K. Shukla and\n Markus Hecher and\n Johannes Klaus Fichte and\n Kuldeep S. Meel},\n title = {ApproxASP - a Scalable Approximate Answer Set Counter},\n booktitle = {Thirty-Sixth {AAAI} Conference on Artificial Intelligence, {AAAI}\n 2022, Thirty-Fourth Conference on Innovative Applications of Artificial\n Intelligence, {IAAI} 2022, The Twelveth Symposium on Educational Advances\n in Artificial Intelligence, {EAAI} 2022 Virtual Event, February 22\n - March 1, 2022},\n pages = {5755--5764},\n publisher = {{AAAI} Press},\n year = {2022},\n url = {https://ojs.aaai.org/index.php/AAAI/article/view/20518},\n timestamp = {Mon, 11 Jul 2022 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/aaai/KabirESHFM22.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Kabir, M.","Everardo, F. O.","Shukla, A. K.","Hecher, M.","Fichte, J. K.","Meel, K. S."],"key":"DBLP:conf/aaai/KabirESHFM22","id":"DBLP:conf/aaai/KabirESHFM22","bibbaseid":"kabir-everardo-shukla-hecher-fichte-meel-approxaspascalableapproximateanswersetcounter-2022","role":"author","urls":{"Paper":"https://ojs.aaai.org/index.php/AAAI/article/view/20518"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/46/7137.bib","dataSources":["FK7bcj5LGYm4AcpSS"],"keywords":[],"search_terms":["approxasp","scalable","approximate","answer","set","counter","kabir","everardo","shukla","hecher","fichte","meel"],"title":"ApproxASP - a Scalable Approximate Answer Set Counter","year":2022}