ResearchTrend.AI
  • Papers
  • Communities
  • Events
  • Blog
  • Pricing
Papers
Communities
Social Events
Terms and Conditions
Pricing
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 1908.04381
  4. Cited By
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

12 August 2019
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
161
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
26
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
25
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
44
17
0
21 Feb 2020
1