Using more reasoning to improve #SAT solving

AAAI, pp. 185-190, 2007.

Cited by: 12|Bibtex|Views6
EI
Other Links: dl.acm.org|dblp.uni-trier.de|academic.microsoft.com

Abstract:

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

Code:

Data:

Full Text
Your rating :
0

 

Tags
Comments