Approximate weighted model integration on DNF structures
Weighted model counting consists of computing the weighted sum of all satisfying assignments of a propositional formula. Weighted model counting is well-known to be #P-hard for exact solving, but admits a fully polynomial randomized approximation scheme when restricted to DNF structures. In this wor...
| Prif Awduron: | , , |
|---|---|
| Fformat: | Journal article |
| Iaith: | English |
| Cyhoeddwyd: |
Elsevier
2022
|