ApproxASP - a Scalable Approximate Answer Set Counter. - Mohimenul Kabir; Flavio O. Everardo; Ankit K. Shukla; Markus Hecher; Johannes Klaus Fichte; Kuldeep S. Meel (AAAI, 2022)