Login / Signup
Distribution-Aware Sampling and Weighted Model Counting for SAT.
Supratik Chakraborty
Daniel J. Fremont
Kuldeep S. Meel
Sanjit A. Seshia
Moshe Y. Vardi
Published in:
AAAI (2014)
Keyphrases
</>
weighted model counting
probabilistic inference
model counting
bayesian inference
satisfiability testing
search algorithm
graphical models
bayesian networks
optimal solution
probability distribution
normal form
satisfiability problem
sat solvers