Auditable Algorithms for Approximate Model Counting.

Kuldeep S. Meel Supratik Chakraborty S. Akshay

Published in: AAAI (2024)

Keyphrases

orders of magnitude
machine learning
learning algorithm
computational complexity
theoretical analysis
search algorithm
worst case
bayesian inference
model counting