Paper Citation Record · LEDGER

Faster algorithm for achieving minimal-size quantum decision diagrams

As of 21 August 2026, this Paper Citation Record lists 42 of 42 outbound references and 0 inbound Pith citation observations for arXiv:2606.24789.

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

pith.paper-citation-record.v1
2606.24789 v1

Coverage vector

measured 42 of 42 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-06-25T23:59:26.412209Z

measured 42 of 42 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-21T06:32:19.484+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

42 of 42 outbound references displayed

verified exact5
verified fuzzy0
unresolved37
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation d9c639b9-9b1f-4a31-a4f3-dfe6c92d39eb · outbound

This paper cites https://gitlab.tudelft.nl/ardeq-group/paulilim (2026).

Faster algorithm for achieving minimal-size quantum decision diagrams https://gitlab.tudelft.nl/ardeq-group/paulilim (2026)

Reference 1

Resolution: unresolved; no resolver link, observed 2026-06-25T23:59:26.412209Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 08ddade4-8b3d-44c9-a6c0-f26f80c5200e · outbound

This paper cites https://gitlab.tudelft.nl/ardeq-group/qoldder (2026).

Faster algorithm for achieving minimal-size quantum decision diagrams https://gitlab.tudelft.nl/ardeq-group/qoldder (2026)

Reference 2

Resolution: unresolved; no resolver link, observed 2026-06-25T23:59:26.412209Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 28fb03ce-6ee7-4574-8e62-c4a11c1b9a7c · outbound

This paper cites Physical Review A—Atomic, Molecular, and Optical Physics70(5), 052328 (2004).

Faster algorithm for achieving minimal-size quantum decision diagrams Physical Review A—Atomic, Molecular, and Optical Physics70(5), 052328 (2004)

Reference 3

Resolution: unresolved; no resolver link, observed 2026-06-25T23:59:26.412209Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 46ad3a1c-d855-4017-a814-188fd2d49870 · outbound

This paper cites In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems.

Faster algorithm for achieving minimal-size quantum decision diagrams In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems

Reference 4

Resolution: unresolved; no resolver link, observed 2026-06-25T23:59:26.412209Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation db8c8fcc-5d4a-4b36-aa46-a6b8eb4d6c0d · outbound

This paper cites New Journal of Physics7(1), 170 (2005), http: //stacks.iop.org/1367-2630/7/i=1/a=170.

Faster algorithm for achieving minimal-size quantum decision diagrams New Journal of Physics7(1), 170 (2005), http: //stacks.iop.org/1367-2630/7/i=1/a=170

Reference 5

Resolution: unresolved; no resolver link, observed 2026-06-25T23:59:26.412209Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7a922092-2dca-44b9-9335-0f818f9c859f · outbound

This paper cites Formal methods in system design10(2), 171–206 (1997).

Faster algorithm for achieving minimal-size quantum decision diagrams Formal methods in system design10(2), 171–206 (1997)

Reference 6

Resolution: unresolved; no resolver link, observed 2026-06-25T23:59:26.412209Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a46b2a80-a3a8-46a0-8a2c-dac080970c2b · outbound

This paper cites an unresolved cited work.

Faster algorithm for achieving minimal-size quantum decision diagrams Unresolved cited work

Reference 7

Resolution: unresolved; no resolver link, observed 2026-06-25T23:59:26.412209Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4ad74159-534d-4249-a2ec-75c87e757e12 · outbound

This paper cites In: International Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems.

Faster algorithm for achieving minimal-size quantum decision diagrams In: International Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems

Reference 8

Resolution: unresolved; no resolver link, observed 2026-06-25T23:59:26.412209Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fec022a6-4836-4395-b53a-fd5823848e34 · outbound

This paper cites ACM Computing Surveys (CSUR)24(3), 293–318 (1992).

Faster algorithm for achieving minimal-size quantum decision diagrams ACM Computing Surveys (CSUR)24(3), 293–318 (1992)

Reference 9

Resolution: unresolved; no resolver link, observed 2026-06-25T23:59:26.412209Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 03b7b5a4-c4d0-4ac1-ad94-68d5fc8213ca · outbound

This paper cites IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 40(9), 1810–1824 (2020).

Faster algorithm for achieving minimal-size quantum decision diagrams IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 40(9), 1810–1824 (2020)

Reference 10

Resolution: unresolved; no resolver link, observed 2026-06-25T23:59:26.412209Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f5c799a8-7052-4773-a014-55a7873a76c9 · outbound

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

Faster algorithm for achieving minimal-size quantum decision diagrams Chemical reviews119(19), 10856–10915 (2019)

Reference 11

Resolution: unresolved; no resolver link, observed 2026-06-25T23:59:26.412209Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d22eae6c-46fa-4253-889f-9a5df48afeea · outbound

This paper cites In: International Conference on Tools and Algo- rithms for the Construction and Analysis of Systems.

Faster algorithm for achieving minimal-size quantum decision diagrams In: International Conference on Tools and Algo- rithms for the Construction and Analysis of Systems

Reference 12

Resolution: unresolved; no resolver link, observed 2026-06-25T23:59:26.412209Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 96e329c0-03db-420f-b8b2-95f2ac8689cd · outbound

This paper cites Formal methods in system design10(2), 149–169 (1997).

Faster algorithm for achieving minimal-size quantum decision diagrams Formal methods in system design10(2), 149–169 (1997)

Reference 13

Resolution: unresolved; no resolver link, observed 2026-06-25T23:59:26.412209Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c95baca2-501b-4fca-81ab-740327120f6b · outbound

This paper cites Reviews of Modern Physics86(1), 153–185 (2014).

Faster algorithm for achieving minimal-size quantum decision diagrams Reviews of Modern Physics86(1), 153–185 (2014)

Reference 14

Resolution: unresolved; no resolver link, observed 2026-06-25T23:59:26.412209Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 62a63486-300d-4e03-b422-12b39976c19f · outbound

This paper cites IEEE Transac- tions on Quantum Engineering2, 1–17 (2021).

Faster algorithm for achieving minimal-size quantum decision diagrams IEEE Transac- tions on Quantum Engineering2, 1–17 (2021)

Reference 15

Resolution: unresolved; no resolver link, observed 2026-06-25T23:59:26.412209Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f38a2e7e-a0d5-46ec-8fa2-82eee53f3e2f · outbound

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

Faster algorithm for achieving minimal-size quantum decision diagrams arXiv preprint arXiv:2504.01168 (2025)

Reference 16

Resolution: verified exact; arxiv_id, observed 2026-07-04T16:59:59.092873Z

Source-reported events for the cited work

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

Observation d38488b7-b863-49b8-8330-a9a0a9423d32 · outbound

This paper cites In: Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design.

Faster algorithm for achieving minimal-size quantum decision diagrams In: Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design

Reference 17

Resolution: unresolved; no resolver link, observed 2026-06-25T23:59:26.412209Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7d20f1c8-f7cc-4e93-83ba-390ffa18cc62 · outbound

This paper cites Physical Review B100(13), 134306 (2019) 18 J.

Faster algorithm for achieving minimal-size quantum decision diagrams Physical Review B100(13), 134306 (2019) 18 J

Reference 18

Resolution: unresolved; no resolver link, observed 2026-06-25T23:59:26.412209Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 141b04f4-cde6-4152-8771-88cd36d3185a · outbound

This paper cites Journal of Symbolic Computation23(4), 335–354 (1997).

Faster algorithm for achieving minimal-size quantum decision diagrams Journal of Symbolic Computation23(4), 335–354 (1997)

Reference 19

Resolution: unresolved; no resolver link, observed 2026-06-25T23:59:26.412209Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8b85774b-a4f5-4d91-a771-eb807cf59b2b · outbound

This paper cites In: Symbolic model checking, pp.

Faster algorithm for achieving minimal-size quantum decision diagrams In: Symbolic model checking, pp

Reference 20

Resolution: unresolved; no resolver link, observed 2026-06-25T23:59:26.412209Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 59e28a3c-b793-45be-b4af-94d1eb9f9ff0 · outbound

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

Faster algorithm for achieving minimal-size quantum decision diagrams In: 36th International Symposium on Multiple-Valued Logic (ISMVL’06)

Reference 21

Resolution: unresolved; no resolver link, observed 2026-06-25T23:59:26.412209Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d5fcbb42-27d7-41f4-ad01-387d5638900f · outbound

This paper cites Cambridge University Press (2000).

Faster algorithm for achieving minimal-size quantum decision diagrams Cambridge University Press (2000)

Reference 22

Resolution: unresolved; no resolver link, observed 2026-06-25T23:59:26.412209Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4ae2133d-acae-4c89-848d-16239d8b453b · outbound

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

Faster algorithm for achieving minimal-size quantum decision diagrams Reviews in Physics4, 100028 (2019)

Reference 23

Resolution: unresolved; no resolver link, observed 2026-06-25T23:59:26.412209Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4e3ef510-6c3f-4ede-ac7f-52bc31af874a · outbound

This paper cites Quantum, doi:10.22331/q-2023-07-20-1062.

Faster algorithm for achieving minimal-size quantum decision diagrams Quantum, doi:10.22331/q-2023-07-20-1062

Reference 24

Resolution: verified exact; doi, observed 2026-06-26T00:08:43.147801Z

Source-reported events for the cited work

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

Observation d8728325-df94-4cf6-8820-105c5f20b8af · outbound

This paper cites arXiv preprint arXiv:2602.17775 (2026).https://doi.org/10.48550/arXiv.2602.17775.

Faster algorithm for achieving minimal-size quantum decision diagrams arXiv preprint arXiv:2602.17775 (2026).https://doi.org/10.48550/arXiv.2602.17775

Reference 25

Resolution: verified exact; arxiv_id, observed 2026-07-04T16:59:59.086900Z

Source-reported events for the cited work

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

Observation 2e9d8b27-d2d6-4993-b711-74d2f38f057e · outbound

This paper cites In: European Symposium on Algorithms.

Faster algorithm for achieving minimal-size quantum decision diagrams In: European Symposium on Algorithms

Reference 26

Resolution: unresolved; no resolver link, observed 2026-06-25T23:59:26.412209Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6bdf4bc6-1f4d-4957-9447-4ee11562ea9e · outbound

This paper cites faster algorithm for achieving minimal-size quantum decision diagrams.

Faster algorithm for achieving minimal-size quantum decision diagrams faster algorithm for achieving minimal-size quantum decision diagrams

Reference 27

Resolution: verified exact; doi, observed 2026-06-26T00:08:43.149680Z

Source-reported events for the cited work

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

Observation 1bac1434-4505-4453-b120-32815c5be359 · outbound

This paper cites In: IJCAI.

Faster algorithm for achieving minimal-size quantum decision diagrams In: IJCAI

Reference 28

Resolution: unresolved; no resolver link, observed 2026-06-25T23:59:26.412209Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f1a0a99f-b49f-44ae-b8c3-f02e7e99aab8 · outbound

This paper cites In: FOCS.

Faster algorithm for achieving minimal-size quantum decision diagrams In: FOCS

Reference 29

Resolution: unresolved; no resolver link, observed 2026-06-25T23:59:26.412209Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cf81ed18-ce77-4f1c-93ed-a396c2b66f88 · outbound

This paper cites an unresolved cited work.

Faster algorithm for achieving minimal-size quantum decision diagrams Unresolved cited work

Reference 30

Resolution: unresolved; no resolver link, observed 2026-06-25T23:59:26.412209Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f8ee7317-0b13-43c2-986a-db0089344c4c · outbound

This paper cites Proceedings of the ACM on Programming Languages 8(OOPSLA2), 1390–1419 (2024).

Faster algorithm for achieving minimal-size quantum decision diagrams Proceedings of the ACM on Programming Languages 8(OOPSLA2), 1390–1419 (2024)

Reference 31

Resolution: unresolved; no resolver link, observed 2026-06-25T23:59:26.412209Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5cb5417f-7da2-4607-b4a4-acd030edd620 · outbound

This paper cites https: //web.archive.org/web/20171208230728/http://vlsi.colorado.edu/~fabio/CUDD/ cudd.pdf (2015).

Faster algorithm for achieving minimal-size quantum decision diagrams https: //web.archive.org/web/20171208230728/http://vlsi.colorado.edu/~fabio/CUDD/ cudd.pdf (2015)

Reference 32

Resolution: verified exact; arxiv_id, observed 2026-07-04T16:59:59.090038Z

Source-reported events for the cited work

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

Observation 0659fffd-737a-4eee-b03c-307c2cfd167f · outbound

This paper cites For- mal Methods in System Design10(2), 243–270 (1997).

Faster algorithm for achieving minimal-size quantum decision diagrams For- mal Methods in System Design10(2), 243–270 (1997)

Reference 33

Resolution: unresolved; no resolver link, observed 2026-06-25T23:59:26.412209Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cf50c2fe-2a25-4696-a3ab-37dc28ea1aba · outbound

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

Faster algorithm for achieving minimal-size quantum decision diagrams In: International Symposium on Automated Technology for Verification and Analysis

Reference 34

Resolution: unresolved; no resolver link, observed 2026-06-25T23:59:26.412209Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ef53e1d5-2bf9-43d8-a81f-7949185ed1c5 · outbound

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

Faster algorithm for achieving minimal-size quantum decision diagrams In: 2021 58th ACM/IEEE Design Automation Conference (DAC)

Reference 35

Resolution: unresolved; no resolver link, observed 2026-06-25T23:59:26.412209Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 60580188-1cb9-47a9-a3ba-11bccfcefca0 · outbound

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

Faster algorithm for achieving minimal-size quantum decision diagrams In: Proceedings Design, Automation and Test in Europe Conference and Exhibition

Reference 36

Resolution: unresolved; no resolver link, observed 2026-06-25T23:59:26.412209Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3e37cbfb-141e-48e2-a7f1-b617731051b0 · outbound

This paper cites Quantum7, 1108 (2023) Faster algorithm for achieving minimal-size quantum decision diagrams 19.

Faster algorithm for achieving minimal-size quantum decision diagrams Quantum7, 1108 (2023) Faster algorithm for achieving minimal-size quantum decision diagrams 19

Reference 37

Resolution: unresolved; no resolver link, observed 2026-06-25T23:59:26.412209Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4ff9bc0b-eb4a-49aa-b540-23f3e8e87075 · outbound

This paper cites In: Proceedings of the AAAI Conference on Artificial Intel- ligence.

Faster algorithm for achieving minimal-size quantum decision diagrams In: Proceedings of the AAAI Conference on Artificial Intel- ligence

Reference 38

Resolution: unresolved; no resolver link, observed 2026-06-25T23:59:26.412209Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d37c1451-f2b4-4eef-a751-d8f5cd2c7fa4 · outbound

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

Faster algorithm for achieving minimal-size quantum decision diagrams In: International Symposium on Model Checking Software

Reference 39

Resolution: unresolved; no resolver link, observed 2026-06-25T23:59:26.412209Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 72e3c535-1776-4ba2-b562-3b113e92b719 · outbound

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

Faster algorithm for achieving minimal-size quantum decision diagrams In: Proceedings of the 59th Design Automation Conference

Reference 40

Resolution: unresolved; no resolver link, observed 2026-06-25T23:59:26.412209Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1eec91b3-65f7-4124-b5a5-3e610835d0e6 · outbound

This paper cites In: 2019 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

Faster algorithm for achieving minimal-size quantum decision diagrams In: 2019 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)

Reference 41

Resolution: unresolved; no resolver link, observed 2026-06-25T23:59:26.412209Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 15eb5648-9249-4606-a2f7-655452770bd2 · outbound

This paper cites u≼w” in the caption. This condition would be replaced by “max precedence holds.

Faster algorithm for achieving minimal-size quantum decision diagrams u≼w” in the caption. This condition would be replaced by “max precedence holds

Reference 42

Resolution: unresolved; no resolver link, observed 2026-06-25T23:59:26.412209Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.