@inproceedings{ hsu-sat09,
  author    = {Eric I. Hsu and Sheila A. McIlraith},
  title     = {{VARSAT}: Integrating Probabilistic Inference with {DPLL} Search},
  booktitle = {Proceedings of 12th International Conference on Theory
               and Applications of Satisfiability Testing (SAT
               '09), Swansea, U.K.},
  year      = {2009}
}