Published April 21, 2026 | Version v5
Dataset Open

Artifact of ApproxASP– A Scalable Approximate Answer Set Counter

Authors/Creators

  • 1. ROR icon National University of Singapore
  • 2. ROR icon Linköping University
  • 3. EDMO icon Georgia Institute of Technology

Description

The artifact of ApproxASP– A Scalable Approximate Answer Set Counter.

Benchmark, logfiles, and binaries are available here.

Please cite the publication if you use the materials:

@inproceedings{kabir2022approxasp,
  title={ApproxASP--A Scalable Approximate Answer Set Counter},
  author={Kabir, Mohimenul and Everardo, Flavio O and Shukla, Ankit K and Hecher, Markus and Fichte, Johannes Klaus and Meel, Kuldeep S},
  booktitle={Proceedings of the AAAI Conference on Artificial Intelligence},
  volume={36},
  number={5},
  pages={5755--5764},
  year={2022}
}



Files

README.md

Files (52.9 MB)

Name Size Download all
md5:b12c8fd6644721ab7846a6b9c8b21f62
52.9 MB Preview Download
md5:fce8e56ff775ad729c86e07825a3af14
2.8 kB Preview Download

Additional details

Software

Repository URL
https://github.com/meelgroup/approxasp2
Programming language
C++