Pith. sign in

Paper Citation Record · LEDGER

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

As of 15 August 2026, this Paper Citation Record lists 65 of 65 outbound references and 2 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 67 of 67 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-14T06:32:32.682623+00:00

measured 2 of 2 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-05-23T00:04:44.921863Z

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-14T06:32:32.682623+00:00.

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

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-14T06:32:32.682623+00:00.

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

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-14T06:32:32.682623+00:00.

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

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-14T06:32:32.682623+00:00.

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

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-14T06:32:32.682623+00:00.

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

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-14T06:32:32.682623+00:00.

source=pdf_text observed=2026-08-14T13:58:09.015535Z digest=sha256:9d2ede0aefba37bdfe47780172299b78122e9a9a2f3e5c890118984d36d2c3d7

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-14T06:32:32.682623+00:00.

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

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:6cc574e9341ab66de8761f72bc408716825d8a5f4f1c35c390b2e9c307c8bafe

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:f872f0bd0ddffe7b5ee0ad51fab9453b551394267a420b73b188dad2f6b36a85

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-14T06:32:32.682623+00:00.

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

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-14T06:32:32.682623+00:00.

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

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-14T06:32:32.682623+00:00.

source=pdf_text observed=2026-08-14T13:58:09.041951Z digest=sha256:18de8a7654dff8647cd2e64b1b58aa66d332f57b05c1db6c3bb3d859fba1955e

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-14T06:32:32.682623+00:00.

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

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-14T06:32:32.682623+00:00.

source=pdf_text observed=2026-08-14T13:58:09.051464Z digest=sha256:68c5349e497ef718b478b338a6238a4e53358b014083d9377921cbc1af6e79d0

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:2bd0daa39ecb2f110dfd702943c4f305bfdfbd624e4d6aded939ac62a4303a59

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-14T06:32:32.682623+00:00.

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

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-14T06:32:32.682623+00:00.

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

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-14T06:32:32.682623+00:00.

source=pdf_text observed=2026-08-14T13:58:09.069277Z digest=sha256:908e1f6bbb3497aaf32d6db41fa941c39e9ed6c5b2a1705b1cc8c7a3d7b3a694

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-14T06:32:32.682623+00:00.

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

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:3d814614e9aa4bcbc69ecd14c351bab875a54af023af254bd25851d2e81bd367

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-14T06:32:32.682623+00:00.

source=pdf_text observed=2026-08-14T13:58:09.085634Z digest=sha256:8602050d4c61b991780cd84f1f68a2ff820033bbf58b37fc8a84acf977ee0950

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-14T06:32:32.682623+00:00.

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

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-14T06:32:32.682623+00:00.

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

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-14T06:32:32.682623+00:00.

source=pdf_text observed=2026-08-14T13:58:09.097717Z digest=sha256:75763492dc0dd55ad0eb02639f088b56e36274081fd4ed34955afc4f2a8ab86f

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-14T06:32:32.682623+00:00.

source=pdf_text observed=2026-08-14T13:58:09.101471Z digest=sha256:0c1f6737787e47fea805ccfac452b27c524bcb7d1d88a0da687f70fa13ea4cf1

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-14T06:32:32.682623+00:00.

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

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-14T06:32:32.682623+00:00.

source=pdf_text observed=2026-08-14T13:58:09.108803Z digest=sha256:0e051943a595c38311e01ac55c2a1ecd478191dbe632560089e3db012dddf30b

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-14T06:32:32.682623+00:00.

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

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-14T06:32:32.682623+00:00.

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

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-14T06:32:32.682623+00:00.

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

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-14T06:32:32.682623+00:00.

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

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-14T06:32:32.682623+00:00.

source=pdf_text observed=2026-08-14T13:58:09.128806Z digest=sha256:2265b1f1de0da12594469dfe4ed5e2d272c88818bbca8580a77653f7c3d5ce18

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-14T06:32:32.682623+00:00.

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

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-14T06:32:32.682623+00:00.

source=pdf_text observed=2026-08-14T13:58:09.136684Z digest=sha256:85e15fa709953eb2add4294928c5b13d6b64f6e9022678b1fbe44a9aaa1a3523

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-14T06:32:32.682623+00:00.

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

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-14T06:32:32.682623+00:00.

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

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-14T06:32:32.682623+00:00.

source=pdf_text observed=2026-08-14T13:58:09.148696Z digest=sha256:412ca871a8453bdde2b432efed0db1f8846d83ffdddc5c762079f345e6496a71

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-14T06:32:32.682623+00:00.

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

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-14T06:32:32.682623+00:00.

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

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-14T06:32:32.682623+00:00.

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

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-14T06:32:32.682623+00:00.

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

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-14T06:32:32.682623+00:00.

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

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-14T06:32:32.682623+00:00.

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

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-14T06:32:32.682623+00:00.

source=pdf_text observed=2026-08-14T13:58:09.177760Z digest=sha256:642b38327db91aa5c81b58158243209242e8041984d8c39870d935e0a246fce3

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-14T06:32:32.682623+00:00.

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

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:1116537312e290cadd39d5075c0cdf3b3f051ebf325eb816b879db89dc0a00b2

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-14T06:32:32.682623+00:00.

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

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-14T06:32:32.682623+00:00.

source=pdf_text observed=2026-08-14T13:58:09.199080Z digest=sha256:2305ac7ff850fc9261dccb0ab4dfed35f02eb871aadec6b55c83493cdd1a6f51

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-14T06:32:32.682623+00:00.

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

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-14T06:32:32.682623+00:00.

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

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-14T06:32:32.682623+00:00.

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

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-14T06:32:32.682623+00:00.

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

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-14T06:32:32.682623+00:00.

source=pdf_text observed=2026-08-14T13:58:09.222488Z digest=sha256:21ab2fdd6255f6e20acffb3df5b766e2d5566430b5e56e6195f164fbc198895f

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-14T06:32:32.682623+00:00.

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

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-14T06:32:32.682623+00:00.

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

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-14T06:32:32.682623+00:00.

source=pdf_text observed=2026-08-14T13:58:09.239244Z digest=sha256:83a0329d67b151c222d69383fdf0f37cb2fa6b22d4983d712c48b4e221f1d297

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-14T06:32:32.682623+00:00.

source=pdf_text observed=2026-08-14T13:58:09.243680Z digest=sha256:7776bb40093f7dd96be2007d61e4d6ab537a88ecb65570ad9554404b9fd25996

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-14T06:32:32.682623+00:00.

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

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-14T06:32:32.682623+00:00.

source=pdf_text observed=2026-08-14T13:58:09.252033Z digest=sha256:02f880ec4324bb3a5492b18032867b6428aef302f4c1c40eee7473af82eefca3

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-14T06:32:32.682623+00:00.

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

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-14T06:32:32.682623+00:00.

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

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-14T06:32:32.682623+00:00.

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

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-14T06:32:32.682623+00:00.

source=pdf_text observed=2026-08-14T13:58:09.268310Z digest=sha256:182ce0817bb2568dcd820c27a979df8872331dca0378d8aa4175c65fccd491f9

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-14T06:32:32.682623+00:00.

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

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-14T06:32:32.682623+00:00.

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

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-14T06:32:32.682623+00:00.

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

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-14T06:32:32.682623+00:00.

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