Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| A dynamic approach to MPE and weighted MAX-SAT | 3 | 0.54 | 2007 |
| Heuristics for fast exact model counting | 44 | 1.88 | 2005 |
| Performing Bayesian inference by weighted model counting | 91 | 3.33 | 2005 |
| Combining Component Caching and Clause Learning for Effective Model Counting | 93 | 3.94 | 2004 |