2 books • 1 series
Theory and Applications of Satisfiability Testing (Lecture Notes in Computer Science, #3569)
Representing and Reasoning with Probabilistic Knowledge