9 citations · 20 across the 6 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.DS2019★ 8 cited
Efficient Contraction of Large Tensor Networks for Weighted Model Counting through Graph Decompositions
Jeffrey M. Dudek, Leonardo Dueñas-Osorio, Moshe Y. Vardi
Constrained counting is a fundamental problem in artificial intelligence. A promising new algebraic approach to constrained counting makes use of tensor networks, following a reduc…
cs.LO2019
ADDMC: Weighted Model Counting with Algebraic Decision Diagrams
Jeffrey M. Dudek, Vu H. N. Phan, Moshe Y. Vardi
We present an algorithm to compute exact literal-weighted model counts of Boolean formulas in Conjunctive Normal Form. Our algorithm employs dynamic programming and uses Algebraic…