107
click to vote
SEMWEB
2007
Springer
15 years 8 months ago
2007
Springer
Recent research on model counting in CNF formulas has shown that a certain sampling method can yield results that are sound with a provably high probability. The key idea is to ite...