Using more reasoning to improve #SAT solving
AAAI, pp. 185-190, 2007.
Many real-world problems, including inference in Bayes Nets, can be reduced to #SAT, the problem of counting the number of models of a propositional theory. This has motivated the need for efficient #SAT solvers. Currently, such solvers utilize a modified version of DPLL that employs decomposition and caching, techniques that significantl...More
PPT (Upload PPT)