Exact ASP Counting with Compact Encodings.

Mohimenul Kabir Supratik Chakraborty Kuldeep S. Meel

Published in: CoRR (2023)

Keyphrases

boolean satisfiability
answer set programming
web applications
information systems
case study
brute force
databases
data mining
image processing
data structure
search space