9 citations · 20 across the 6 of their papers we have counts for
Showing 2020Show all
3 papers · 1 filter
cs.AI2020★ 2 cited
Taming Discrete Integration via the Boon of Dimensionality
Jeffrey M. Dudek, Dror Fried, Kuldeep S. Meel
Discrete integration is a fundamental problem in computer science that concerns the computation of discrete sums over exponentially large sets. Despite intense interest from resear…
cs.LO2020
DPMC: Weighted Model Counting by Dynamic Programming on Project-Join Trees
Jeffrey M. Dudek, Vu H. N. Phan, Moshe Y. Vardi
We propose a unifying dynamic-programming framework to compute exact literal-weighted model counts of formulas in conjunctive normal form. At the center of our framework are projec…
cs.DS2020
Parallel Weighted Model Counting with Tensor Networks
Jeffrey M. Dudek, Moshe Y. Vardi
A promising new algebraic approach to weighted model counting makes use of tensor networks, following a reduction from weighted model counting to tensor-network contraction. Prior…