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

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:170d6b8525b7db21164eba23c7bfd233fc63600e080a2ee6d3b5ef4bb642b64d

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:13856eaa21d63d53c18b2de75607c1fc8ec9797773f2bdc109034e5b0b48be4a

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

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

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:1d2a4f614009b9b23a77f222580cc9b8f2cbb9a8a3bca7025403accc152b5eef

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:1e6723e8a4a396c3844c4bed8ba2b4db1e42e399fa9cafce87e780f09e32ecf8

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:694f7164723d745571bced16226e7525982cacc0f9ce3d1c68ee112369bac23c

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

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:1e33e58ddcb148527e705904df1460a2df0540f7472421e286c921806563fa19

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:0fc4abcf3407cef3da6ef4dfbb9ba8c5c488bdc28f845fd92699f47bd06bd217

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

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:4d64d3f82c52bb1457e0546f584c4e20fa5af69df75ff97caead012dee131b09

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

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:55a7d4c46c0542d00789206edbeda0a631779e389fe73632e283e2a54a16a6a6

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

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:753034f21bb906efc1f6f8712b43c0c3777b3c6c4683d02d07cf00304b254539

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:5f41a01625e5129597c00c7d7d6a349cf43bf0d03e21ca70f5b13c5c3bd19232

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

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

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:4fec945b0b5512332e956de015c75d3b9e324e1fd84f02802970b5e5e0bd17b9

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:9d10b96d68e8151a0e67d71a72ed5ac8198ac390978f10cdd51a7c96c99ca6a0

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

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

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:758d724cf97898a607e27d0eac37ecb28c1c88d81cf831bc24780880d786b451

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

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:01ec877598a64734e4454645efbb423b1b2d8a99fea56d775738d4d7db19485b

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

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:1cc35506531e3895fa4669945582d20b9ecc5e609e34e8a5de7f7efc013b9dff

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:89754e8d299adcb52276a2d094d87595a1476c6a9c0058da1b7b2a2a325c3984

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:608049c5d14ab21511ba1c5fc5a052aec94baac9790f54c9e5f62c79231122cb

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

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:21f9686b9105351fcf7d8f5a4e8cc4a9976e2ab9b2034915357ef8847ea0322d

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

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:89e84005450ff9979172ed9b7c8b59813a31dbffcf86739fb512b50ae5ca2cdd

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:93c8581965503820b5402b947206eec25c7f8e295934c47f3a4286117a19d93c

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

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:76c5ca42792b2cf7c78f042b771a32a8804117cadc73ef0be99f00ef76449470

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:266ac7960393d20eadb8125dc98685a4f9370b28a7fd5cf8ec32f72ccd67557c

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:43923c70ef9175e568a4243b5fb3067753eb03d1faa1462aa9723d5a36cc56a0

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:821a0275852046edd3b3f648a77ea46d9d1e97f4e60827d76dcf8c606573c62c

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:4502e4fad2983ce1d7d1ef54a09be0a88afcb2a894ea785f04119afe7a69143b

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:5bf69521b70ca8283895b6e3a9293d038439c70cddec5bb7bc4ee5e8b306ac08

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

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:217a14e96c69446fb9469325c6ec98fc262a559557837c36d5a6a4326b844517

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

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:4f429f99530afd31faa333ce79e5705a000deb5b74cae3a4cef05bd2158d5f39

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:30128e9faf5853d859a875012214495b6649ed41cf11cea16673516b3eca0670

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:8dc2feef6b73dc86c4b02de41a355c3960d708ad355b6e1bd56475a2ac9f9081

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:05ac48aedf001501abc8dd35afac9e490e55ca444b32cefa2fc9f719954695fd

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:31ad836661ac1674f46ff4c948576c564f220286e04e33c2de73f5deb147a850

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

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

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:30bdb0f68c4106b29970d807fee6d14a9aba353a9fcdc866bc2d77641b868ad8

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:627d040d2e50428ab155bdcae620a1337986b382c82816e914a12acdc96efd89

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:4dcfa43e7e1b094c863cba892cc60accbf54aa4ebdec5090d1104033a74bd61e

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

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:8c40a66d632df4a96e6cec70832a9bbe0d5470f6a0d7eeaf18e3d93164d11da4

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:68447b6bb3786dd8613595710f1bbb875db3e0ff25ca44ce31effb23a83438f8

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:83b08d84ab5f84bfaa0d83b9e682925ca1aae2297030a87562c23de39654ece0

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

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

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:9b46c785889591ba3e069d992eddde93404f21bb2cce185cd4150d6906246a8a

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:8cc2b5429ab5ecf275242af7fbdbd2b86d414b4891c857ee39d5dcbe1eb625f3

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

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

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