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:
CoRR (2014)
Keyphrases
</>
weighted model counting
probabilistic inference
model counting
bayesian inference
satisfiability testing
knowledge compilation
bayesian networks
graphical models
sample size
phase transition
probability distribution
distributed systems
random variables
search strategies
stochastic local search