Paper Citation Record · LEDGER

Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing

As of 9 August 2026, this Paper Citation Record lists 40 of 40 outbound references and 1 inbound Pith citation observation for arXiv:2508.00514.

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

pith.paper-citation-record.v1
2508.00514 v1

Coverage vector

measured 40 of 40 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-06T10:10:04.861170Z

measured 41 of 41 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-09T06:31:02.800959+00:00

measured 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-05-23T03:48:14.372407Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-05-23T03:52:29.587229Z

Reference resolution

40 of 40 outbound references displayed

verified exact0
verified fuzzy32
unresolved6
parse uncertain0
malformed identifier1
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 4996591e-f5ee-43ee-82ac-eb15be660461 · outbound

This paper cites In: Proceedings of the forty- second ACM symposium on Theory of computing.

Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing In: Proceedings of the forty- second ACM symposium on Theory of computing

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T10:10:22.716243Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 91f8285c-ac9e-4f34-a421-38bbf296f3df · outbound

This paper cites In: International Conference on Computa- tional Science.

Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing In: International Conference on Computa- tional Science

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T10:10:22.705334Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 05a7c36f-24a8-4885-9f2a-6085fc235a7e · outbound

This paper cites IEEE Transactions on TCAD40(9), 1810–1824 (2020).

Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing IEEE Transactions on TCAD40(9), 1810–1824 (2020)

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T10:10:22.695486Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 572fd491-9b94-476e-bfaa-4284f18ccaaa · outbound

This paper cites Chemical reviews119(19), 10856–10915 (2019).

Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing Chemical reviews119(19), 10856–10915 (2019)

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T10:10:22.686090Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 75163590-0b91-4b97-af70-1fb13147847a · outbound

This paper cites Open Quantum Assembly Language.

Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing Open Quantum Assembly Language

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-06T10:10:04.732770Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation daa86376-847b-470a-8eee-3f1f62d523ae · outbound

This paper cites an unresolved cited work.

Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing Unresolved cited work

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-06T10:10:04.736912Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 05223a26-01f2-4568-8914-47b60e15a5f0 · outbound

This paper cites Electronic Notes in Theoretical Computer Science 296, 127–143 (2013).

Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing Electronic Notes in Theoretical Computer Science 296, 127–143 (2013)

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T10:10:22.676496Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 7f688788-379a-4728-9cc0-89bce249a119 · outbound

This paper cites STTT 19, 675–696 (2017).

Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing STTT 19, 675–696 (2017)

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T10:10:22.666138Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 2d41c5bf-20e9-4262-8fe8-4ec1fa397435 · outbound

This paper cites In: Euro-Par 2014: Parallel Processing Workshops: Euro-Par 2014 International Workshops, Porto, Portugal, August 25-26, 2014, Revised Selected Papers, Part II.

Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing In: Euro-Par 2014: Parallel Processing Workshops: Euro-Par 2014 International Workshops, Porto, Portugal, August 25-26, 2014, Revised Selected Papers, Part II

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T10:10:22.656621Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 0afdfde2-b77e-483d-9e7b-183701b4fb5c · outbound

This paper cites Proceedings of the AAAI Conference on Artificial Intelligence 28(1) (2014).

Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing Proceedings of the AAAI Conference on Artificial Intelligence 28(1) (2014)

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T10:10:22.635447Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 42481aff-72e8-4bf1-9f3f-521eb4cc0b12 · outbound

This paper cites Formal methods in system design 10, 149–169 (1997).

Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing Formal methods in system design 10, 149–169 (1997)

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T10:10:22.625232Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 56f5390c-74f6-4be3-b753-3a1f8ccf170f · outbound

This paper cites IEEE Transactions on Quantum Engineering2, 1–17 (2021).

Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing IEEE Transactions on Quantum Engineering2, 1–17 (2021)

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T10:10:22.614855Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation b2ef4d33-74e6-4980-b3ef-5288729b03fa · outbound

This paper cites In: 2020 25th Asia and South Pacific Design Automation Conference (ASP-DAC).

Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing In: 2020 25th Asia and South Pacific Design Automation Conference (ASP-DAC)

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T10:10:22.604863Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 4c2b7218-b7f4-44da-9b09-c647c4418be9 · outbound

This paper cites arXiv preprint arXiv:2504.01168 (2025).

Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing arXiv preprint arXiv:2504.01168 (2025)

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-06T10:10:04.771890Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c7706d19-214b-4698-8c0c-88fb157a0a92 · outbound

This paper cites Science377(6613) (2022).

Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing Science377(6613) (2022)

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T10:10:22.594028Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 38e0243a-7fa6-4368-beb0-bf23cff8c6f2 · outbound

This paper cites Non-identity-check.

Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing Non-identity-check

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T10:10:22.583169Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 4c43ebd4-9d99-4484-83a7-ff7444ab2ebb · outbound

This paper cites Non-Identity Check Remains QMA-Complete for Short Circuits.

Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing Non-Identity Check Remains QMA-Complete for Short Circuits

Reference 17

Resolution: metadata mismatch; local_arxiv, observed 2026-08-06T10:10:04.906070Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation c0cb7f87-fbf7-4566-97c5-9a8da8985a10 · outbound

This paper cites Russian Mathematical Surveys 52(6), 1191 (1997).

Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing Russian Mathematical Surveys 52(6), 1191 (1997)

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T10:10:22.572395Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation d8b39d16-1746-4129-a129-fd324e583fe6 · outbound

This paper cites In: Formal Methods in Computer Aided Design.

Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing In: Formal Methods in Computer Aided Design

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T10:10:22.561694Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation a45fa82b-274c-4da1-9c3d-53e67476d8dd · outbound

This paper cites an unresolved cited work.

Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing Unresolved cited work

Reference 20

Resolution: unresolved; raw_fallback, observed 2026-08-06T10:10:22.645501Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation d0649299-2dbe-4385-a0b2-a873eafd17ad · outbound

This paper cites IEEE Transactions on Quantum Engineering (2024).

Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing IEEE Transactions on Quantum Engineering (2024)

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T10:10:22.550554Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 6f61138a-5a91-405c-ac27-3358e70ae7dd · outbound

This paper cites In: Proceedings of the 30th international design automation conference.

Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing In: Proceedings of the 30th international design automation conference

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T10:10:22.539879Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 1520077c-a71b-4cae-9890-a48a71fe5af0 · outbound

This paper cites In: International Joint Conference on Automated Reasoning.

Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing In: International Joint Conference on Automated Reasoning

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T10:10:22.529429Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 35152a43-7d4a-480f-816b-886a6f690970 · outbound

This paper cites In: 36th International Symposium on Multiple-Valued Logic (ISMVL’06).

Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing In: 36th International Symposium on Multiple-Valued Logic (ISMVL’06)

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T10:10:22.519155Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation bff33aaf-dbb9-4adc-8119-3344f1c5b97a · outbound

This paper cites IEEE TCAD 39(12), 4657–4668 (2020).

Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing IEEE TCAD 39(12), 4657–4668 (2020)

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T10:10:22.509698Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 548e5726-a7a5-4748-87c3-4ef7b2f0d907 · outbound

This paper cites Reviews in Physics4, 100028 (2019).

Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing Reviews in Physics4, 100028 (2019)

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T10:10:22.498946Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation c53cc2f0-5c63-4305-9d6c-837d1d6a00f3 · outbound

This paper cites Quantum (2023), MQT Bench is available at https://www.cda.cit.tum.de/mqtbench/.

Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing Quantum (2023), MQT Bench is available at https://www.cda.cit.tum.de/mqtbench/

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T10:10:22.488082Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation ae3f2dd3-d459-45b0-83cb-0a933a9f55c5 · outbound

This paper cites In: European Symposium on Algorithms.

Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing In: European Symposium on Algorithms

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T10:10:22.476719Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation d5f36e18-cc2b-4709-a391-6513c2e94ecc · outbound

This paper cites Efficient Clifford+T approximation of single-qubit operators.

Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing Efficient Clifford+T approximation of single-qubit operators

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-06T10:10:04.820608Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3dbe50e3-5654-4c55-8571-43f93a86a5f0 · outbound

This paper cites In: FOCS.

Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing In: FOCS

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T10:10:22.466364Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation f8e73a8e-00c7-4621-bd64-686c795a60f6 · outbound

This paper cites an unresolved cited work.

Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing Unresolved cited work

Reference 31

Resolution: unresolved; raw_fallback, observed 2026-08-06T10:10:22.455479Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 2711a934-2f4a-4687-b6c8-3704a0d7d3bb · outbound

This paper cites Formal Methods in System Design10, 243–270 (1997).

Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing Formal Methods in System Design10, 243–270 (1997)

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T10:10:22.443962Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation cd424f12-8b61-497d-9094-e2a81e7858b1 · outbound

This paper cites International Journal of Quantum Information 8(05), 807–819 (2010).

Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing International Journal of Quantum Information 8(05), 807–819 (2010)

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T10:10:22.432745Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation c8c3a736-a545-4d30-a9db-ede0ca95fc0e · outbound

This paper cites In: International Symposium on Automated Technology for Verification and Analysis.

Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing In: International Symposium on Automated Technology for Verification and Analysis

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T10:10:22.421975Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 0452975f-dbd1-4f9e-b0af-fc8d8ae7c5ae · outbound

This paper cites In: 2021 58th ACM/IEEE Design Automation Conference (DAC).

Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing In: 2021 58th ACM/IEEE Design Automation Conference (DAC)

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T10:10:22.411012Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 59616061-2e33-434f-98c7-ca6fae89e4bf · outbound

This paper cites In: Proceedings Design, Automation and Test in Europe Conference and Exhibition.

Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing In: Proceedings Design, Automation and Test in Europe Conference and Exhibition

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T10:10:22.399215Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 46dcf4f6-a944-4379-9553-d185f8bee2c7 · outbound

This paper cites Quantum 7, 1108 (2023).

Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing Quantum 7, 1108 (2023)

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T10:10:22.386701Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation d52230f0-59f2-4826-9d0c-57e31d5b476f · outbound

This paper cites In: International Symposium on Model Checking Software.

Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing In: International Symposium on Model Checking Software

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T10:10:22.376385Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation e4945006-1e95-4fcc-af5e-0d929fbad400 · outbound

This paper cites In: Proceedings of the 59th Design Automation Conference.

Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing In: Proceedings of the 59th Design Automation Conference

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T10:10:22.365385Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation c07da7a2-1c08-4951-9c3b-5b8099d960ca · outbound

This paper cites -” indicates an out-of- memory termination, and “×.

Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing -” indicates an out-of- memory termination, and “×

Reference 40

Resolution: malformed identifier; raw_fallback, observed 2026-08-06T10:10:22.353828Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Pith citing papers

Observation 3902df8b-5ea5-4c6b-b847-d6c8dcec3875 · inbound

Variational decision diagrams for quantum-inspired machine learning applications cites this paper.

Variational decision diagrams for quantum-inspired machine learning applications Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing

Reference 23

Resolution: verified exact; arxiv_id, observed 2026-05-23T03:52:29.590091Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.