Kabir, Mohimenul

2 publications

AAAI 2024 Exact ASP Counting with Compact Encodings Mohimenul Kabir, Supratik Chakraborty, Kuldeep S. Meel

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