Adaptive Hashing for Model Counting.

Jonathan Kuck Tri Dao Shenjia Zhao Burak Bartan Ashish Sabharwal Stefano Ermon

Published in: UAI (2019)

Keyphrases

model counting
weighted model counting
knowledge compilation
database
machine learning
relational databases
special case
probabilistic inference
bayesian inference