@article{Chavira.Darwiche.Aij.2008,
author="Chavira, Mark and Darwiche, Adnan",
title="On Probabilistic Inference by Weighted Model Counting",
journal="Artificial Intelligence",
volume="172",
number="6--7",
pages="772-799",
month="April",
year="2008",
keywords="Bayesian networks, Exact inference, Weighted model counting, Compilation"
}