9 citations · 20 across the 6 of their papers we have counts for
Showing cs.DSShow all
2 papers · 1 filter
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…
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…