(PDF) Leveraging Belief Propagation, Backtrack Search, and

Leveraging Belief Propagation, Backtrack Search, and Statistics for Model Counting

doi 10.1007/978-3-540-68155-7_12

Full Text

Abstract

Available in full text

Date

Unknown

Authors

Ashish Sabharwal

Publisher

Springer Berlin Heidelberg