Browsing Computer Science by Author "Li, Wei"
Now showing items 1-1 of 1
-
Exploiting Structure in Backtracking Algorithms for Propositional and Probabilistic Reasoning
Li, Wei (University of Waterloo, 2010-08-03)Boolean propositional satisfiability (SAT) and probabilistic reasoning represent two core problems in AI. Backtracking based algorithms have been applied in both problems. In this thesis, I investigate structure-based ...