138 citations · 778 across the 69 of their papers we have counts for
Showing 2020 · cs.DSShow all
2 papers · 2 filters
cs.DS2020★ 2 cited
FPRAS Approximation of the Matrix Permanent in Practice
James E. Newman, Moshe Y. Vardi
The matrix permanent belongs to the complexity class #P-Complete. It is generally believed to be computationally infeasible for large problem sizes, and significant research has be…
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…