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...
| 主要な著者: | , , |
|---|---|
| フォーマット: | Journal article |
| 言語: | English |
| 出版事項: |
Elsevier
2022
|