Efficient Contraction of Large Tensor Networks for Weighted Model Counting through Graph Decompositions

1 code implementation • 12 Aug 2019 • Jeffrey M. Dudek, Leonardo Dueñas-Osorio, Moshe Y. Vardi

We show that tree decompositions can be used both to find carving decompositions and to factor tensor networks with high-rank, structured tensors.

Tensor Networks