ResearchTrend.AI
Efficient Contraction of Large Tensor Networks for Weighted Model Counting through Graph Decompositions
v1v2 (latest)

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

Jeffrey M. Dudek
L. Dueñas-Osorio
Moshe Y. Vardi
ArXiv (abs)PDFHTML

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

4 / 4 papers shown
Title
Causal Deep Learning
Causal Deep Learning
M. Alex O. Vasilescu
CML
174
3
1
01 Jan 2023
DPMC: Weighted Model Counting by Dynamic Programming on Project-Join Trees
DPMC: Weighted Model Counting by Dynamic Programming on Project-Join Trees
Jeffrey M. Dudek
Vu Hoang Nguyen Phan
Moshe Y. Vardi
46
21
0
20 Aug 2020
Tropical Tensor Network for Ground States of Spin Glasses
Tropical Tensor Network for Ground States of Spin Glasses
Jin-Guo Liu
Lei Wang
Pan Zhang
55
32
0
16 Aug 2020
An Advance on Variable Elimination with Applications to Tensor-Based Computation
An Advance on Variable Elimination with Applications to Tensor-Based Computation
Adnan Darwiche
46
17
0
21 Feb 2020