VARSAT: Integrating Novel Probabilistic Inference Techniques with DPLL Search.

Eric I. Hsu, Sheila A. McIlraith

Browse the full SAT paper archive.