Pith. sign in

Paper Citation Record · LEDGER

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

As of 22 August 2026, this Paper Citation Record lists 65 of 65 outbound references and 3 inbound Pith citation observations for arXiv:1908.04381.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
1908.04381 v2

Coverage vector

measured 65 of 65 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-14T13:58:09.276534Z

measured 68 of 68 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-22T06:32:14.747728+00:00

measured 3 of 3 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-15T18:38:54.795726Z

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: arxiv_reference, observed 2026-05-23T00:05:13.433613Z

Reference resolution

65 of 65 outbound references displayed

  • verified exact1
  • verified fuzzy37
  • unresolved27
  • parse uncertain0
  • malformed identifier0
  • metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation efe8155e-6b53-4fd0-98ee-3ea75a11545e · outbound

This paper cites Bacchus, S.

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

Reference 1

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T13:58:10.162257Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

source=pdf_text observed=2026-08-14T13:58:08.993402Z digest=sha256:e0d143195874a6407d08567cbde3ed1623e5f94c687ab4079b480eaeabc685b4

Observation 6fe57db6-9dc9-49d2-9aa1-6cc1e6ac216d · outbound

This paper cites Domshlak, J.

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

Reference 2

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T13:58:10.146631Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

source=pdf_text observed=2026-08-14T13:58:08.998483Z digest=sha256:abf3c210e7d0c1126e97c93a3a49412ff4532cd155e1abd5754b268d41b181ed

Observation 43b256a6-8515-440a-a39f-42b958289322 · outbound

This paper cites an unresolved cited work.

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

Reference 3

Resolution
unresolved
raw_fallback, observed 2026-08-14T13:58:10.134343Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

source=pdf_text observed=2026-08-14T13:58:09.002785Z digest=sha256:d5893390105599fa4afddb6bde9c9c7409a1dceadcaca8d13d538aa1fc81cb86

Observation c9f462f6-824b-4162-bdf8-de07972306d9 · outbound

This paper cites an unresolved cited work.

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

Reference 4

Resolution
unresolved
raw_fallback, observed 2026-08-14T13:58:10.121421Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

source=pdf_text observed=2026-08-14T13:58:09.007367Z digest=sha256:f4d5ab911448e87cd2770f8c39cee4f4e11370e61b1ab6a93f10c322510891bd

Observation 88da1256-1d07-420b-846d-658924d548b2 · outbound

This paper cites Oztok, A.

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

Reference 5

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T13:58:10.109825Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

source=pdf_text observed=2026-08-14T13:58:09.011393Z digest=sha256:20467ec9f5f1600cba1366d4cc1484000b6cf204de212644a5ede5545bee47b3

Observation 39edffd4-95a4-46ce-a77f-f15daa1d9271 · outbound

This paper cites Thurley, SharpSAT: counting models with advanced componen t caching and implicit BCP, in: Proc.

Efficient Contraction of Large Tensor Networks for Weighted Model Counting through Graph Decompositions Thurley, SharpSAT: counting models with advanced componen t caching and implicit BCP, in: Proc

Reference 6

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T13:58:10.098041Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

source=pdf_text observed=2026-08-14T13:58:09.015535Z digest=sha256:2edee74603694a99d2738341f67ff05e316850e71f1e820f720ebb847c81e332

Observation 7606b31a-7a70-4894-94e9-b807f24c0216 · outbound

This paper cites an unresolved cited work.

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

Reference 7

Resolution
unresolved
raw_fallback, observed 2026-08-14T13:58:10.085029Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

source=pdf_text observed=2026-08-14T13:58:09.020653Z digest=sha256:9717c0ed1a1f0c0699a746d90d73ac68551159718659947885e42a6810ff1c47

Observation d9e0c081-b5cb-41ec-86d3-18ba418f4ac7 · outbound

This paper cites Tensor Networks in a Nutshell.

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

Reference 8

Resolution
unresolved
no resolver link, observed 2026-08-14T13:58:09.024610Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T13:58:09.024610Z digest=sha256:af41ee089eac68447b74b471a039dd71c7e3c3a9166996111cb1b64c3fa14887

Observation c3759c8e-1ed7-428c-979f-69cff42be8a6 · outbound

This paper cites Era of Big Data Processing: A New Approach via Tensor Networks and Tensor Decompositions.

Efficient Contraction of Large Tensor Networks for Weighted Model Counting through Graph Decompositions Era of Big Data Processing: A New Approach via Tensor Networks and Tensor Decompositions

Reference 9

Resolution
unresolved
no resolver link, observed 2026-08-14T13:58:09.029331Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T13:58:09.029331Z digest=sha256:bcbf2abb0ce6fb24c86239e362b47296b969c6c669ef38d5bb5bd50342453ef0

Observation f1b61071-9a62-468b-8a4e-c33869290096 · outbound

This paper cites Or´ us, Tensor networks for complex quantum systems, Na ture Reviews Physics 1 (9) (2019) 538–550.

Efficient Contraction of Large Tensor Networks for Weighted Model Counting through Graph Decompositions Or´ us, Tensor networks for complex quantum systems, Na ture Reviews Physics 1 (9) (2019) 538–550

Reference 10

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T13:58:10.072611Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

source=pdf_text observed=2026-08-14T13:58:09.033825Z digest=sha256:c170a0bee7eb6fa201a56ed6a5aec2115d18bb56ca59d6c22de7b4c8727f7307

Observation 760bc76c-62fd-409b-9502-8cd58a93b42f · outbound

This paper cites an unresolved cited work.

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

Reference 11

Resolution
unresolved
raw_fallback, observed 2026-08-14T13:58:10.059817Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

source=pdf_text observed=2026-08-14T13:58:09.037686Z digest=sha256:25b03b1be85b2dfff786e3154bdda4387f45150ea72358810c49eecf7bb21231

Observation 547badcb-14fe-4609-ac51-6ec4df9d9677 · outbound

This paper cites an unresolved cited work.

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

Reference 12

Resolution
unresolved
raw_fallback, observed 2026-08-14T13:58:10.046877Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

source=pdf_text observed=2026-08-14T13:58:09.041951Z digest=sha256:0138cf728fe75a088ff0e23cae421f3647bb841b9914d1816fdaebacbde44e88

Observation 09cc5706-1e2e-42c8-8af5-22cd4c96ae7f · outbound

This paper cites an unresolved cited work.

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

Reference 13

Resolution
unresolved
raw_fallback, observed 2026-08-14T13:58:10.034658Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

source=pdf_text observed=2026-08-14T13:58:09.046771Z digest=sha256:6bd6da80a9023882804fbe53063f58c8eb0f2278b9d9cd18e9d864e2f99bbd3e

Observation b8e0acf6-e5f8-435e-af4a-47c7a9c9ebf3 · outbound

This paper cites Kjolstad, S.

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

Reference 14

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T13:58:10.022709Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

source=pdf_text observed=2026-08-14T13:58:09.051464Z digest=sha256:4e5e8622462f57a0c386cce9f55566bc49cac30c5574eaa02f845c06796e7ff2

Observation f9b4ea15-2737-484d-b4ca-446513fde50d · outbound

This paper cites Tensor Comprehensions: Framework-Agnostic High-Performance Machine Learning Abstractions.

Efficient Contraction of Large Tensor Networks for Weighted Model Counting through Graph Decompositions Tensor Comprehensions: Framework-Agnostic High-Performance Machine Learning Abstractions

Reference 15

Resolution
unresolved
no resolver link, observed 2026-08-14T13:58:09.055713Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T13:58:09.055713Z digest=sha256:774f6471277af4c663681657c566e8b4e9b11e3ca1b53e89d08fb19bc0d4a670

Observation fc437905-bbd0-4b3a-8aeb-c0caf7257456 · outbound

This paper cites an unresolved cited work.

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

Reference 16

Resolution
unresolved
raw_fallback, observed 2026-08-14T13:58:10.010008Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

source=pdf_text observed=2026-08-14T13:58:09.060657Z digest=sha256:ac97431003ece196fd5cf457869d5164f11e59c1a1643a1e672d1dd6c4eaad4f

Observation 01f4d5b5-0c1d-43e4-beba-e4c3a0ee17c5 · outbound

This paper cites Nelson, A.

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

Reference 17

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T13:58:09.996980Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

source=pdf_text observed=2026-08-14T13:58:09.064837Z digest=sha256:05a89d3f3aaf53dbf6f1e925882898e2f0ba2f6faf7f77b454d8a703f2340b16

Observation 1ec1fd38-3489-45d6-98a3-421887ef9f13 · outbound

This paper cites Pfeifer, J.

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

Reference 18

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T13:58:09.983923Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

source=pdf_text observed=2026-08-14T13:58:09.069277Z digest=sha256:34e6f95c4368abc2f0c55b453a610d72ea9ab55c0dafac451c0c4c213639ada2

Observation 42370043-d10f-4d7f-a68f-a3b676a24b18 · outbound

This paper cites Fast counting with tensor networks.

Efficient Contraction of Large Tensor Networks for Weighted Model Counting through Graph Decompositions Fast counting with tensor networks

Reference 19

Resolution
verified exact
local_arxiv, observed 2026-08-14T13:58:09.343790Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

source=pdf_text observed=2026-08-14T13:58:09.073652Z digest=sha256:e7cdc23b83bcc545daaafa0f20cf100560d0eb69bdc546ab1fad6d16f407b95d

Observation 9b2141c9-4780-4c25-94a5-9beae31195c3 · outbound

This paper cites Lecture Notes of Tensor Network Contractions.

Efficient Contraction of Large Tensor Networks for Weighted Model Counting through Graph Decompositions Lecture Notes of Tensor Network Contractions

Reference 20

Resolution
unresolved
no resolver link, observed 2026-08-14T13:58:09.079521Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T13:58:09.079521Z digest=sha256:fda7140f6ffca6544652bb72dafaff6c256534ec4e2ef4a95eb01c7228ad63d0

Observation 12be83db-daea-4b1a-8ea6-fb20ad7f8fd0 · outbound

This paper cites Greco, N.

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

Reference 21

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T13:58:09.967934Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

source=pdf_text observed=2026-08-14T13:58:09.085634Z digest=sha256:42de84dd62783cf58ac66494e45f4061b91ba07100091573ad13ae81c9f319f3

Observation 002738c7-c085-466c-9908-dd323e97a806 · outbound

This paper cites an unresolved cited work.

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

Reference 22

Resolution
unresolved
raw_fallback, observed 2026-08-14T13:58:09.954197Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

source=pdf_text observed=2026-08-14T13:58:09.089936Z digest=sha256:ff7663de989bf7341f6d30127023e2b6269d1b054715d81d88c273e588902fc5

Observation fb396ee7-ee52-4f49-9c3b-4cc2d6814299 · outbound

This paper cites an unresolved cited work.

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

Reference 23

Resolution
unresolved
raw_fallback, observed 2026-08-14T13:58:09.941829Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

source=pdf_text observed=2026-08-14T13:58:09.093881Z digest=sha256:b19c999df929c67efd1752b02d2f5bbaddd61d305f7fb4ed943caed8ce6063f2

Observation e72eb6c0-b483-4bba-81e6-9cb7cc538de7 · outbound

This paper cites Abseher, N.

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

Reference 24

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T13:58:09.928969Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

source=pdf_text observed=2026-08-14T13:58:09.097717Z digest=sha256:8ee539c149c1996cbad3c4e52ad8f8cdecf643ca832a7c737a191392531f1226

Observation e8dc8ef0-83cb-4531-add7-743e333b1447 · outbound

This paper cites Hamann, B.

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

Reference 25

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T13:58:09.915845Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

source=pdf_text observed=2026-08-14T13:58:09.101471Z digest=sha256:387b82fa30f82e77ebccce093c235763fd58bc3f27d84f38c94c1a77a63d3276

Observation 2db6aef5-50b1-410b-a3b9-065a76021e5d · outbound

This paper cites Tamaki, Positive-instance driven dynamic programming for tr eewidth, in: Proc.

Efficient Contraction of Large Tensor Networks for Weighted Model Counting through Graph Decompositions Tamaki, Positive-instance driven dynamic programming for tr eewidth, in: Proc

Reference 26

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T13:58:09.902819Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

source=pdf_text observed=2026-08-14T13:58:09.105106Z digest=sha256:f90ba1f2309826bbee88318a59d9c9f026998ce5c22eece14ba504585331eaec

Observation e5517d43-e77f-41ad-bce8-7b4ac014d525 · outbound

This paper cites Fischer, J.

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

Reference 27

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T13:58:09.889106Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

source=pdf_text observed=2026-08-14T13:58:09.108803Z digest=sha256:516827f8885696c3ae166c53a40d405c08851acf90892df513f4d9c77b56a137

Observation 69cc295a-323b-4a30-8e85-2fdfb9ef622c · outbound

This paper cites Samer, S.

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

Reference 28

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T13:58:09.876628Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

source=pdf_text observed=2026-08-14T13:58:09.112996Z digest=sha256:00e1f710b8598008d1cbde7aadf68550ed86a7bde6c6f27214cc225cebb04add

Observation 10588bd7-28ac-425e-bc98-fe63a32bfc7b · outbound

This paper cites an unresolved cited work.

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

Reference 29

Resolution
unresolved
raw_fallback, observed 2026-08-14T13:58:09.863639Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

source=pdf_text observed=2026-08-14T13:58:09.116785Z digest=sha256:affd5dac7df39af87f1ac11577f91974b3e1f89a6e7e940e4acaef58b6f75b24

Observation 684b0e33-2e01-4509-9e33-e09561c84c46 · outbound

This paper cites de Oliveira Oliveira, On the satisfiability of quantum circuits of sm all treewidth, in: International Computer Science Symposium in Russia , Springer, 2015, pp.

Efficient Contraction of Large Tensor Networks for Weighted Model Counting through Graph Decompositions de Oliveira Oliveira, On the satisfiability of quantum circuits of sm all treewidth, in: International Computer Science Symposium in Russia , Springer, 2015, pp

Reference 30

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T13:58:09.851312Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

source=pdf_text observed=2026-08-14T13:58:09.121002Z digest=sha256:9901048d73f9eb6473080e2bcac55703a4333e1481ff662a8c231267b2edcf2a

Observation 11bb6068-595f-4e76-8949-00858bc234f6 · outbound

This paper cites an unresolved cited work.

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

Reference 31

Resolution
unresolved
raw_fallback, observed 2026-08-14T13:58:09.839446Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

source=pdf_text observed=2026-08-14T13:58:09.124940Z digest=sha256:f4cd93c5118b8da2146942cf0d4b1a781973807ac84989a61269483a6c4ea191

Observation 0f567e56-5f6e-4e38-a1ed-590b997a72fd · outbound

This paper cites Grasedyck, Hierarchical singular value decomposition of ten sors, SIAM Journal on Matrix Analysis and Applications 31 (4) (2010) 2029–205 4.

Efficient Contraction of Large Tensor Networks for Weighted Model Counting through Graph Decompositions Grasedyck, Hierarchical singular value decomposition of ten sors, SIAM Journal on Matrix Analysis and Applications 31 (4) (2010) 2029–205 4

Reference 32

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T13:58:09.827832Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

source=pdf_text observed=2026-08-14T13:58:09.128806Z digest=sha256:9a9bcffcfe6d161264917937b272281dce22a7ee8bfeaf11998373118608796c

Observation d15510da-ea7f-4157-8f2d-61401748fc1a · outbound

This paper cites an unresolved cited work.

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

Reference 33

Resolution
unresolved
raw_fallback, observed 2026-08-14T13:58:09.815894Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

source=pdf_text observed=2026-08-14T13:58:09.132779Z digest=sha256:3c74002c7b4f59d5e8392b600dce6c217a6a09abcce11eac4c5103537a20dfa3

Observation 1689dfad-c46f-486b-a006-cdfaea885427 · outbound

This paper cites Lagniez, P.

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

Reference 34

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T13:58:09.803125Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

source=pdf_text observed=2026-08-14T13:58:09.136684Z digest=sha256:98aa1037ff6893f81788a33ff727e71b4dea390e42a88594c9c67594f761f90a

Observation 0d98609d-159f-4d13-abd2-67f1f875ed46 · outbound

This paper cites Charwat, S.

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

Reference 35

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T13:58:09.790620Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

source=pdf_text observed=2026-08-14T13:58:09.140887Z digest=sha256:6b62d68182d6b9f56ee8863d8bdfc0b495fa81f6a761b9428243ac2a3e5dc764

Observation 2ce80430-6c4a-49ce-83c1-652743ef71bb · outbound

This paper cites an unresolved cited work.

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

Reference 36

Resolution
unresolved
raw_fallback, observed 2026-08-14T13:58:09.778437Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

source=pdf_text observed=2026-08-14T13:58:09.144814Z digest=sha256:db05be902240128ce0bf091f1be72c5f43fe7b1b8c5f0b6e17037de60b02ffa7

Observation efa810f6-f5d4-41bb-861b-cc049c653839 · outbound

This paper cites an unresolved cited work.

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

Reference 37

Resolution
unresolved
raw_fallback, observed 2026-08-14T13:58:09.764173Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

source=pdf_text observed=2026-08-14T13:58:09.148696Z digest=sha256:802d703aeb3c5ef8f61e7c753d42f0acbb38ddb7f1210d28e6deef00684d8d5e

Observation 984b2826-013f-41b8-8573-8709a0a7473f · outbound

This paper cites Robertson, P.

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

Reference 38

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T13:58:09.751548Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

source=pdf_text observed=2026-08-14T13:58:09.152378Z digest=sha256:f5949fa8414a350c4f3d1697f96c8241bd7c917f4ee0e7956c3c2c482ba2a97f

Observation 05302226-3f1d-4841-a616-3641e08fb0c3 · outbound

This paper cites Sasak, Comparing 17 graph parameters, Master’s thesis, T he University of Bergen (2010).

Efficient Contraction of Large Tensor Networks for Weighted Model Counting through Graph Decompositions Sasak, Comparing 17 graph parameters, Master’s thesis, T he University of Bergen (2010)

Reference 39

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T13:58:09.739405Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

source=pdf_text observed=2026-08-14T13:58:09.156823Z digest=sha256:a5a38215eb2e5607b960439ef0d783a958f059add56ffa7b3e7e51c72de252db

Observation 00bb8b2b-b3df-4158-b8c9-fbd8cdb760ca · outbound

This paper cites Swami, A.

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

Reference 40

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T13:58:09.727534Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

source=pdf_text observed=2026-08-14T13:58:09.160570Z digest=sha256:a36950a7549e455cb0fc4cf820d39a954aab944fa3dca6fb449bdc62029c92cc

Observation a18af759-4010-42c0-bc95-dce2d6e72413 · outbound

This paper cites Dechter, Bucket elimination: A unifying framework for reaso ning, Arti- ficial Intelligence 113 (1-2) (1999) 41–85.

Efficient Contraction of Large Tensor Networks for Weighted Model Counting through Graph Decompositions Dechter, Bucket elimination: A unifying framework for reaso ning, Arti- ficial Intelligence 113 (1-2) (1999) 41–85

Reference 41

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T13:58:09.714164Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

source=pdf_text observed=2026-08-14T13:58:09.165716Z digest=sha256:a4e12b6905b61d102216c0e9c6d6d8896c26754c5660df22ee801bf4c968515f

Observation 7d39f4b9-9fa9-4da7-af92-468ff0cef594 · outbound

This paper cites an unresolved cited work.

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

Reference 42

Resolution
unresolved
raw_fallback, observed 2026-08-14T13:58:09.699816Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

source=pdf_text observed=2026-08-14T13:58:09.169753Z digest=sha256:501e2310a9d3ed26098c332b3b642170c390c728691dc6e37a6815959a77e977

Observation 950e08fc-f4d9-4790-ba33-e84eca08b747 · outbound

This paper cites Chaudhuri, M.

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

Reference 43

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T13:58:09.686347Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

source=pdf_text observed=2026-08-14T13:58:09.173636Z digest=sha256:ecce613866751f92761627e3b9371b11b9545ec6adf66cc7446e16eec9d99559

Observation 1426b0aa-3d4d-48bc-95d6-cb19e11f134f · outbound

This paper cites Cavallo, M.

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

Reference 44

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T13:58:09.672406Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

source=pdf_text observed=2026-08-14T13:58:09.177760Z digest=sha256:0c254cb0749e1d64d561e4ecd4ea68287c10f6298ac3e4a97bfe5ba4d02fa9ce

Observation 8c5c0708-4107-4a4b-94bc-eba57c131f76 · outbound

This paper cites an unresolved cited work.

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

Reference 45

Resolution
unresolved
raw_fallback, observed 2026-08-14T13:58:09.659498Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

source=pdf_text observed=2026-08-14T13:58:09.183484Z digest=sha256:e782338403e020364f1ecb292df814ab4ae8f2d8d0e85e5a99dc6e07b5a64384

Observation a4c5ff8a-7cb1-4123-b5ea-af896e941266 · outbound

This paper cites Duality of Graphical Models and Tensor Networks.

Efficient Contraction of Large Tensor Networks for Weighted Model Counting through Graph Decompositions Duality of Graphical Models and Tensor Networks

Reference 46

Resolution
unresolved
no resolver link, observed 2026-08-14T13:58:09.188942Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-14T13:58:09.188942Z digest=sha256:9b647fec29919a520395c279e170ef3114adc123008514834fcf34a1ff24a247

Observation 5ce40932-bc59-4e1b-9da8-e38094dec598 · outbound

This paper cites Abo Khamis, H.

Efficient Contraction of Large Tensor Networks for Weighted Model Counting through Graph Decompositions Abo Khamis, H

Reference 47

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T13:58:09.647489Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

source=pdf_text observed=2026-08-14T13:58:09.194733Z digest=sha256:86209fe9424a217009e106869d6f45469613743829e5221372708b55ef4fbc5a

Observation 6e499177-6837-4326-8d5d-abe0e16a9dcc · outbound

This paper cites an unresolved cited work.

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

Reference 48

Resolution
unresolved
raw_fallback, observed 2026-08-14T13:58:09.635842Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

source=pdf_text observed=2026-08-14T13:58:09.199080Z digest=sha256:26dac5f0ac8361d23763c03e84b4e8d6a37becd8e6ede7453037211e95e5c178

Observation 4c6733b9-3042-4979-923a-766d9969dab7 · outbound

This paper cites Fatahalian, J.

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

Reference 49

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T13:58:09.623168Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

source=pdf_text observed=2026-08-14T13:58:09.203416Z digest=sha256:8e66ad384bfc359970ee3a1cba3b05ba789fca6ce8a23cb79def8be51458b80c

Observation 604722bb-ec19-4c16-827c-4f3d221dd764 · outbound

This paper cites Due˜ nas-Osorio, M.

Efficient Contraction of Large Tensor Networks for Weighted Model Counting through Graph Decompositions Due˜ nas-Osorio, M

Reference 50

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T13:58:09.609469Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

source=pdf_text observed=2026-08-14T13:58:09.208157Z digest=sha256:6ff925cc1faf7525c93daa7ff2268c945089497cf71d74b01009ce199db0da55

Observation c5041816-8baf-4fb6-aac7-815dcac627b2 · outbound

This paper cites Evenbly, R.

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

Reference 51

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T13:58:09.598343Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

source=pdf_text observed=2026-08-14T13:58:09.212930Z digest=sha256:f6d1ae2af2ba1bb95fe291cb1f0e88f05d37d983817f2e6f479cf5ebb1eeb76e

Observation a54c1959-5fe6-4438-9985-6ee1569e80d1 · outbound

This paper cites Dechter, Constraint processing, Morgan Kaufmann, 2003.

Efficient Contraction of Large Tensor Networks for Weighted Model Counting through Graph Decompositions Dechter, Constraint processing, Morgan Kaufmann, 2003

Reference 52

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T13:58:09.586224Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

source=pdf_text observed=2026-08-14T13:58:09.218103Z digest=sha256:c64cc2fc06922d3a2cf4f8b22788856b151186ab8f0edd37b7a447daa910eaf9

Observation ff872bf9-b7ff-479d-a9e9-e09acb913a88 · outbound

This paper cites Ying, Tensor network skeletonization, Multiscale Modeling & Sim ulation 15 (4) (2017) 1423–1447.

Efficient Contraction of Large Tensor Networks for Weighted Model Counting through Graph Decompositions Ying, Tensor network skeletonization, Multiscale Modeling & Sim ulation 15 (4) (2017) 1423–1447

Reference 53

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T13:58:09.574475Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

source=pdf_text observed=2026-08-14T13:58:09.222488Z digest=sha256:9b3826854c4c94ce0278005a074c072e18d1c3feeb91ff8600363e5d401edd2e

Observation 88e19450-81ed-468d-98e8-f3b3647d9f56 · outbound

This paper cites an unresolved cited work.

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

Reference 54

Resolution
unresolved
raw_fallback, observed 2026-08-14T13:58:09.562040Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

source=pdf_text observed=2026-08-14T13:58:09.228052Z digest=sha256:76cb91bf1de12c7c33ef865884dbc2ed79cbb22602fc7a2a4596e9348d11db71

Observation 987d505f-6381-4543-9a83-484de2dc65da · outbound

This paper cites Dalmau, P.

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

Reference 55

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T13:58:09.548874Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

source=pdf_text observed=2026-08-14T13:58:09.235336Z digest=sha256:4d4492efa6e819547c1c61e90ceaafcd8014d90788429436f72260cf75d2f725

Observation b1c92752-ffc4-49a2-8198-9b4b8bf6d93d · outbound

This paper cites an unresolved cited work.

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

Reference 56

Resolution
unresolved
raw_fallback, observed 2026-08-14T13:58:09.535774Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

source=pdf_text observed=2026-08-14T13:58:09.239244Z digest=sha256:6b9fe64147ea5bf4f970ffc8670eee350c64ff241b9286fc1dd16f689576e545

Observation 0e2a3315-99e4-411f-a35d-b06731abf4bd · outbound

This paper cites an unresolved cited work.

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

Reference 57

Resolution
unresolved
raw_fallback, observed 2026-08-14T13:58:09.523528Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

source=pdf_text observed=2026-08-14T13:58:09.243680Z digest=sha256:88e4a143bef9a804ac5fc125a8fc75ad93a2afe4e7665b23382ff620bb0cef04

Observation 2e3d1092-e452-49a5-8393-5ba28511f406 · outbound

This paper cites `Alvarez, R.

Efficient Contraction of Large Tensor Networks for Weighted Model Counting through Graph Decompositions `Alvarez, R

Reference 58

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T13:58:09.510634Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

source=pdf_text observed=2026-08-14T13:58:09.247751Z digest=sha256:f7e3911f11196ce4f1cca559bdb1534b2169979c11184d478d57d01a06c6b72a

Observation 95b66abb-b140-4ce4-b119-c7dfa7c00609 · outbound

This paper cites an unresolved cited work.

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

Reference 59

Resolution
unresolved
raw_fallback, observed 2026-08-14T13:58:09.495233Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

source=pdf_text observed=2026-08-14T13:58:09.252033Z digest=sha256:486df0f9ef3dbb3ed8c7ccd71843d9d3dd55779c87785cc08b62811c52cb4a99

Observation f4d9c672-a08b-4415-9e21-0b8fdc066815 · outbound

This paper cites Samer, S.

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

Reference 60

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T13:58:09.481980Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

source=pdf_text observed=2026-08-14T13:58:09.256216Z digest=sha256:1a2124c938fa64360a22b3cad1d575f399138524786276fb79a19815a8859b28

Observation 4135d6ab-3c1b-4108-859c-1f77d44d9e83 · outbound

This paper cites de Oliveira Oliveira, Size-treewidth tradeoffs for circuits comp uting the element distinctness function, Theory of Computing Systems 62 (1 ) (2018) 136–161.

Efficient Contraction of Large Tensor Networks for Weighted Model Counting through Graph Decompositions de Oliveira Oliveira, Size-treewidth tradeoffs for circuits comp uting the element distinctness function, Theory of Computing Systems 62 (1 ) (2018) 136–161

Reference 61

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T13:58:09.468207Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

source=pdf_text observed=2026-08-14T13:58:09.260209Z digest=sha256:a2746263a4ad712da96647b977f07f62aa5170ef92e188308fe80b3515919e9f

Observation 5d569ab8-9c94-4193-9323-1e23e27a855c · outbound

This paper cites Viger, M.

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

Reference 62

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T13:58:09.453755Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

source=pdf_text observed=2026-08-14T13:58:09.264203Z digest=sha256:b142167d4378297a922699f2d34fb2b90bcb0a58d7d82dddefb6dd373b7b7bee

Observation 18d683de-9671-4ee6-a202-17f19c57df28 · outbound

This paper cites Lagniez, P.

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

Reference 63

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T13:58:09.438272Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

source=pdf_text observed=2026-08-14T13:58:09.268310Z digest=sha256:4d4bb93270508d198c3ced760606e8c08ee576e13c7c29c92294c74a69b37678

Observation 1558bbc8-ca2e-48de-8b9c-830115926f56 · outbound

This paper cites Lagniez, E.

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

Reference 64

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T13:58:09.425085Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

source=pdf_text observed=2026-08-14T13:58:09.273061Z digest=sha256:f5bf6c1fd8ce2d3f17735836992346490168b9d6531f93f645e189bcdb691459

Observation 76dc6df5-e7b6-40ce-9272-702c3eb9f283 · outbound

This paper cites an unresolved cited work.

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

Reference 65

Resolution
unresolved
raw_fallback, observed 2026-08-14T13:58:09.411309Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

source=pdf_text observed=2026-08-14T13:58:09.276534Z digest=sha256:31d7df45b578e9f61ae04d8b27c6756c1462faed56088b5084e455bb77933133

Pith citing papers

Observation 7883d3b5-58e6-4892-9133-1b73656814c5 · inbound

Counting with the quantum alternating operator ansatz cites this paper.

Counting with the quantum alternating operator ansatz Efficient Contraction of Large Tensor Networks for Weighted Model Counting through Graph Decompositions

Reference 24

Resolution
verified exact
arxiv_id, observed 2026-05-23T00:05:13.436496Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

source=pdf_text observed=2026-05-23T00:04:44.921863Z digest=sha256:29c94af244d60304989aa3cce41426ec0411dbc763a8d0f44e5fd32b52309123

Observation 7db33d21-3de4-4736-a899-55d8223f6e19 · inbound

Quantum Counting in the Rydberg Blockade cites this paper.

Quantum Counting in the Rydberg Blockade Efficient Contraction of Large Tensor Networks for Weighted Model Counting through Graph Decompositions

Reference 14

Resolution
unresolved
no resolver link, observed 2026-08-15T18:38:54.795726Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-15T18:38:54.795726Z digest=sha256:933465ac6d1931d93a8966826e05ffb3384f0e2fcdeda0aa3586561d4be613e4

Observation df59a608-e278-4be4-8534-cc77fee4882c · inbound

From Tensor Networks to Tractable Circuits, and back cites this paper.

From Tensor Networks to Tractable Circuits, and back Efficient Contraction of Large Tensor Networks for Weighted Model Counting through Graph Decompositions

Reference 18

Resolution
metadata mismatch
arxiv_id, observed 2026-05-11T15:11:06.898693Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

source=arxiv_source observed=2026-05-09T20:30:08.694587Z digest=sha256:bd64af7102726ca4df107890975f72945bb69a013c1ea979f4df6654aec7bb0a