Exact ASP Counting with Compact Encodings.

Mohimenul Kabir Supratik Chakraborty Kuldeep S. Meel

Published in: AAAI (2024)

Keyphrases

web applications
answer set programming
orders of magnitude
database
information retrieval
computer vision
end users
exact solution
brute force
non binary