FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams | Paper Citation Record

Observation 427cb8a8-e3c4-47ca-95b7-f28b8c92af9d · outbound

This paper cites The- ory of Computing9(1), 143–252 (2013).

FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams The- ory of Computing9(1), 143–252 (2013)

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-04T20:57:37.030311Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b49e78e5-40ff-4d03-b426-c487bdb5fcde · outbound

This paper cites Physical Review A70(5), 052328 (2004).

FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams Physical Review A70(5), 052328 (2004)

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-04T20:57:37.096421Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7ef10653-0460-4c0c-8578-4eaa04ab6b90 · outbound

This paper cites In: Proceedings of the Design Automation & Test in Europe Conference.

FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams In: Proceedings of the Design Automation & Test in Europe Conference

Reference 3

Resolution: metadata mismatch; arxiv_id, observed 2026-08-04T20:57:42.734917Z

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 97adaa0b-516a-4e02-ad7d-a3e1a2e6090e · outbound

This paper cites Verifying Quantum Circuits with Level-Synchronized Tree Automata9(POPL), 32:923–32:953 (2025).

FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams Verifying Quantum Circuits with Level-Synchronized Tree Automata9(POPL), 32:923–32:953 (2025)

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-04T20:57:37.281940Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1f3ed2aa-14af-4eda-b5ac-46a04ebaa332 · outbound

This paper cites an unresolved cited work.

FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams Unresolved cited work

Reference 5

Resolution: unresolved; raw_fallback, observed 2026-08-04T20:57:42.910256Z

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 62a72ace-712a-43f7-b891-f3950e388136 · outbound

This paper cites Electronic Proceedings in Theoretical Computer Science287, 1–21 (2019).

FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams Electronic Proceedings in Theoretical Computer Science287, 1–21 (2019)

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-04T20:57:37.563565Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6c78b69d-3b5f-4b06-b48f-18f7ca190b94 · outbound

This paper cites Electronic Proceedings in Theoretical Computer Science384, 127–141 (2023).

FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams Electronic Proceedings in Theoretical Computer Science384, 127–141 (2023)

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-04T20:57:37.662842Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6cfca649-84fe-4213-8098-a6ec6af1512c · outbound

This paper cites Nature 574(7779), 505–510 (2019).

FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams Nature 574(7779), 505–510 (2019)

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-04T20:57:37.771026Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3d854bc6-b734-4b01-a58b-437665619557 · outbound

This paper cites In: Proceedings of 1993 International Conference on Computer Aided Design (ICCAD).

FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams In: Proceedings of 1993 International Conference on Computer Aided Design (ICCAD)

Reference 9

Resolution: malformed identifier; arxiv_id, observed 2026-08-04T20:57:42.721187Z

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 6dba9af2-4143-4137-9a6d-5dc93bd42638 · outbound

This paper cites IEEE Transactions on ComputersC-35(8), 677–691 (1986).

FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams IEEE Transactions on ComputersC-35(8), 677–691 (1986)

Reference 10

Resolution: malformed identifier; no resolver link, observed 2026-08-04T20:57:37.939101Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b378c36b-dae2-42f8-9ef5-fd5dd5b4ad9a · outbound

This paper cites In: Proceedings of IEEE International Conference on Computer Aided Design (ICCAD).

FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams In: Proceedings of IEEE International Conference on Computer Aided Design (ICCAD)

Reference 11

Resolution: metadata mismatch; arxiv_id, observed 2026-08-04T20:57:42.697716Z

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 13c5dcb9-84fd-4536-8597-58847becae83 · outbound

This paper cites In: 2021 IEEE International Conference on Quantum Computing and Engineering (QCE).

FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams In: 2021 IEEE International Conference on Quantum Computing and Engineering (QCE)

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-04T20:57:38.221517Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1efeed1b-7df6-460b-8bca-2cf3c02495d6 · outbound

This paper cites an unresolved cited work.

FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams Unresolved cited work

Reference 13

Resolution: verified exact; doi, observed 2026-08-04T20:57:42.428727Z

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 d358cf33-9df2-41cd-aa04-dda3bd8c4dc2 · outbound

This paper cites In: Enea, C., Lal, A.

FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams In: Enea, C., Lal, A

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-04T20:57:38.443445Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6755b5b3-af89-400f-ad4f-690bd960ad12 · outbound

This paper cites In: Aceto, L., Damgård, I., Goldberg, L.A., Halldórsson, M.M., Ingólfsdóttir, A., Walukiewicz, I.

FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams In: Aceto, L., Damgård, I., Goldberg, L.A., Halldórsson, M.M., Ingólfsdóttir, A., Walukiewicz, I

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-04T20:57:38.548257Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c43cd3ec-391d-4546-9ec7-8f5e3c007561 · outbound

This paper cites Theoretical Computer Science897, 1–22 (2022).

FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams Theoretical Computer Science897, 1–22 (2022)

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-04T20:57:38.658637Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a6a14283-0af4-4238-980b-26df61af7694 · outbound

This paper cites an unresolved cited work.

FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams Unresolved cited work

Reference 17

Resolution: unresolved; raw_fallback, observed 2026-08-04T20:57:42.892683Z

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 09974408-c2be-4cc0-9f89-f20362f0ffcc · outbound

This paper cites Quantum Info.

FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams Quantum Info

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-04T20:57:42.881889Z

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 1b18a50c-ed66-4ae3-8e3d-6b0bdd8b62b6 · outbound

This paper cites an unresolved cited work.

FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams Unresolved cited work

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-04T20:57:38.994821Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5cd52383-2967-4cd7-a492-8163b48308c4 · outbound

This paper cites PhD, University of Twente, Enschede, The Netherlands (2016).

FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams PhD, University of Twente, Enschede, The Netherlands (2016)

Reference 20

Resolution: verified exact; doi, observed 2026-08-04T20:57:42.390719Z

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 b724ab2f-6c9f-4c93-a087-14e09e58da03 · outbound

This paper cites Proceedings of the Royal Society of London.

FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams Proceedings of the Royal Society of London

Reference 21

Resolution: verified exact; arxiv_id, observed 2026-08-04T20:57:42.672564Z

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 e0665d8e-d96b-4062-8045-34b21ccca4b9 · outbound

This paper cites an unresolved cited work.

FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams Unresolved cited work

Reference 22

Resolution: verified exact; doi, observed 2026-08-04T20:57:42.377153Z

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 04eb83c7-2b2d-48c7-8c57-d9978756b1e2 · outbound

This paper cites International series in pure and applied physic, McGraw-Hill (1965).

FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams International series in pure and applied physic, McGraw-Hill (1965)

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-04T20:57:42.871542Z

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 e713273c-a401-4072-802f-49b25c6da028 · outbound

This paper cites Physical Review A87(3), 032332 (2013).

FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams Physical Review A87(3), 032332 (2013)

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-04T20:57:39.361990Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ba2e43ed-942f-4750-a698-bafc89dfc4fb · outbound

This paper cites The Heisenberg Representation of Quantum Computers.

FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams The Heisenberg Representation of Quantum Computers

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-04T20:57:39.436114Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 22674f4b-48fd-4cc9-b139-f2755a636594 · outbound

This paper cites ACM Transactions on Quantum Computing3(4), 22:1–22:21 (2022).

FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams ACM Transactions on Quantum Computing3(4), 22:1–22:21 (2022)

Reference 26

Resolution: verified exact; doi, observed 2026-08-04T20:57:42.360484Z

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 34eaaa62-3cab-4c89-bdc3-0995a099e52a · outbound

This paper cites In: 2022 IEEE/ACM International Conference On Computer Aided Design (ICCAD).

FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams In: 2022 IEEE/ACM International Conference On Computer Aided Design (ICCAD)

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-04T20:57:42.861094Z

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 241cc75f-4228-41d2-abd7-40bf8fc26311 · outbound

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

FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams In: 2021 58th ACM/IEEE Design Automation Conference (DAC)

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-04T20:57:39.695743Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1c6f8189-91b1-4e15-98eb-edf7d20fd919 · outbound

This paper cites ACM Trans.

FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams ACM Trans

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-04T20:57:39.731821Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 46d754e8-0d8f-424a-b71b-f51d8dd8eec6 · outbound

This paper cites In: Proceedings of the 53rd International Conference on Parallel Processing.

FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams In: Proceedings of the 53rd International Conference on Parallel Processing

Reference 30

Resolution: metadata mismatch; arxiv_id, observed 2026-08-04T20:57:42.639189Z

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 f6bb0341-d076-4010-98fd-06739af2d3af · outbound

This paper cites AddisonWesley Professional, Upper Saddle River, NJ, 1 edition edn.

FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams AddisonWesley Professional, Upper Saddle River, NJ, 1 edition edn

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-04T20:57:42.850822Z

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 80674bf6-c92c-4190-b2f9-cf835c097317 · outbound

This paper cites Entropy26(12), 1058 (2024).

FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams Entropy26(12), 1058 (2024)

Reference 32

Resolution: malformed identifier; raw_fallback, observed 2026-08-04T20:57:42.840911Z

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 e1a4c434-8b1f-408e-8425-13ac6f53c184 · outbound

This paper cites IEEE Transactions on Parallel and Distributed Systems 31(4), 805–816 (2020).

FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams IEEE Transactions on Parallel and Distributed Systems 31(4), 805–816 (2020)

Reference 33

Resolution: metadata mismatch; arxiv_id, observed 2026-08-04T20:57:42.625384Z

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 9e764223-b690-4c18-b85b-b27f3331bccd · outbound

This paper cites an unresolved cited work.

FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams Unresolved cited work

Reference 34

Resolution: unresolved; raw_fallback, observed 2026-08-04T20:57:42.830714Z

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 36749d36-4ee4-4295-b5d3-845a23c82985 · outbound

This paper cites IEEE Transactions on Computers60(10), 1377–1389 (2011).

FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams IEEE Transactions on Computers60(10), 1377–1389 (2011)

Reference 35

Resolution: verified exact; doi, observed 2026-08-04T20:57:42.342013Z

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 a71be639-34cb-4064-b361-b76f38273d18 · outbound

This paper cites SIAM Journal on Computing38(3), 963–981 (2008).

FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams SIAM Journal on Computing38(3), 963–981 (2008)

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-04T20:57:42.821001Z

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 a10c162a-9ab0-42d0-a086-9422a098b524 · outbound

This paper cites Simulating Quantum Circuits by Model Counting.

FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams Simulating Quantum Circuits by Model Counting

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-04T20:57:40.364138Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 13f5f5ee-cf7f-4519-a174-5442b3235f91 · outbound

This paper cites Springer New York, NY (2004).

FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams Springer New York, NY (2004)

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-08-04T20:57:42.810975Z

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 7de316da-00b1-4e73-aa29-ecca0603cdee · outbound

This paper cites Journal of Physics A: Mathematical and Theoretical50(8), 084002 (2017).

FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams Journal of Physics A: Mathematical and Theoretical50(8), 084002 (2017)

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-04T20:57:42.800557Z

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 f7ed0e4a-63bc-463f-a8ea-171aaec9ab39 · outbound

This paper cites npj Quantum Information 4(1), 1–12 (2018).

FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams npj Quantum Information 4(1), 1–12 (2018)

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-04T20:57:40.697876Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7a05b7a4-6f5d-46d1-89eb-c7708b292a67 · outbound

This paper cites IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems35(1), 86–99 (2016).

FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems35(1), 86–99 (2016)

Reference 41

Resolution: metadata mismatch; arxiv_id, observed 2026-08-04T20:57:42.611460Z

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 50916b78-5936-48ee-adf0-b6fbbdc00bf6 · outbound

This paper cites Physical Review Letters128(3), 030501 (2022).

FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams Physical Review Letters128(3), 030501 (2022)

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-04T20:57:40.805726Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 58cfbbba-8326-4517-85e8-aa73e6550fe9 · outbound

This paper cites IEEE Journal on Emerging and Selected Topics in Circuits and Systems12(3), 662–675 (2022).

FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams IEEE Journal on Emerging and Selected Topics in Circuits and Systems12(3), 662–675 (2022)

Reference 43

Resolution: metadata mismatch; arxiv_id, observed 2026-08-04T20:57:42.595722Z

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 81dabf43-501f-4055-bfb7-ec2bdb97f59d · outbound

This paper cites Optimal ancilla-free Clifford+T approximation of z-rotations.

FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams Optimal ancilla-free Clifford+T approximation of z-rotations

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-04T20:57:40.886082Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation de28ecd6-6249-4c95-8cd2-0065ddcca048 · outbound

This paper cites In: Proceedings of 1993 International Conference on Computer Aided Design (ICCAD).

FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams In: Proceedings of 1993 International Conference on Computer Aided Design (ICCAD)

Reference 45

Resolution: metadata mismatch; arxiv_id, observed 2026-08-04T20:57:42.570792Z

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 de1f2320-57e7-4599-912b-03f8759e5fa5 · outbound

This paper cites In: Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part III.

FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams In: Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part III

Reference 46

Resolution: unresolved; no resolver link, observed 2026-08-04T20:57:41.072249Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8ee6c9b7-892d-4492-a5a6-159db951d29f · outbound

This paper cites Weighted CFLOBDDs8(OOPSLA2), 320:1390–320:1419 (2024).

FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams Weighted CFLOBDDs8(OOPSLA2), 320:1390–320:1419 (2024)

Reference 47

Resolution: unresolved; no resolver link, observed 2026-08-04T20:57:41.202222Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d721ae41-62d4-4dda-89a6-c8b882c9c3ea · outbound

This paper cites arXiv:2104.12101 [cs] (2021).

FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams arXiv:2104.12101 [cs] (2021)

Reference 48

Resolution: verified exact; arxiv_id, observed 2026-08-04T20:57:42.555600Z

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 cd00afd9-fdb0-4166-83c6-b397efd8e308 · outbound

This paper cites University of Colorado at Boulder (2005).

FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams University of Colorado at Boulder (2005)

Reference 49

Resolution: verified fuzzy; raw_fallback, observed 2026-08-04T20:57:42.789975Z

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 d34c8bff-22cd-4643-8e16-9cc28ce3be96 · outbound

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

FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams In: 2021 58th ACM/IEEE Design Automa- tion Conference (DAC)

Reference 50

Resolution: metadata mismatch; arxiv_id, observed 2026-08-04T20:57:42.540721Z

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 09ee5452-df0d-475d-9d33-979a02ec0953 · outbound

This paper cites Quantum Information Processing2(5), 347–380 (2003).

FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams Quantum Information Processing2(5), 347–380 (2003)

Reference 51

Resolution: unresolved; no resolver link, observed 2026-08-04T20:57:41.610322Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0d097ad7-e61a-4c4f-97ca-fa80a0dba2a2 · outbound

This paper cites In: 2007 IEEE/ACM International Conference on Computer- Aided Design.

FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams In: 2007 IEEE/ACM International Conference on Computer- Aided Design

Reference 52

Resolution: metadata mismatch; arxiv_id, observed 2026-08-04T20:57:42.515571Z

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 64f216ab-c1a0-43bb-af48-0956a9b97596 · outbound

This paper cites an unresolved cited work.

FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams Unresolved cited work

Reference 53

Resolution: unresolved; raw_fallback, observed 2026-08-04T20:57:42.777943Z

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 9e5af798-9522-4061-ba74-48ca66c66461 · outbound

This paper cites an unresolved cited work.

FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams Unresolved cited work

Reference 54

Resolution: unresolved; raw_fallback, observed 2026-08-04T20:57:42.766867Z

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 af3f07fa-a5d8-4bba-b6b8-10aa03865f59 · outbound

This paper cites Logical Methods in Computer ScienceV olume 20, Issue 1 (2024).

FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams Logical Methods in Computer ScienceV olume 20, Issue 1 (2024)

Reference 55

Resolution: unresolved; no resolver link, observed 2026-08-04T20:57:41.928106Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7ac4cbc7-9005-4a5f-b9cc-99699077c442 · outbound

This paper cites In: Caltais, G., Schilling, C.

FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams In: Caltais, G., Schilling, C

Reference 56

Resolution: verified exact; doi, observed 2026-08-04T20:57:42.288062Z

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 3adaefd4-9846-4bca-bdf9-6cda74db61bd · outbound

This paper cites In: Meyers, R.A.

FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams In: Meyers, R.A

Reference 57

Resolution: verified exact; doi, observed 2026-08-04T20:57:42.277243Z

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 da915b6b-00ae-41ae-9e5c-777250882539 · outbound

This paper cites SIAM monographs on discrete mathematics and applications, Society for Industrial and Applied Mathematics, Philadelphia (2000).

FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams SIAM monographs on discrete mathematics and applications, Society for Industrial and Applied Mathematics, Philadelphia (2000)

Reference 58

Resolution: verified fuzzy; raw_fallback, observed 2026-08-04T20:57:42.756039Z

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 7010c82f-3cd2-45af-9f30-815a6b09511b · outbound

This paper cites ZX-calculus for the working quantum computer scientist.

FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams ZX-calculus for the working quantum computer scientist

Reference 59

Resolution: unresolved; no resolver link, observed 2026-08-04T20:57:42.155984Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f89bee0a-f839-4f01-8ff9-e8cc2319b8ed · outbound

This paper cites In: Int’l Symp.

FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams In: Int’l Symp

Reference 60

Resolution: verified fuzzy; raw_fallback, observed 2026-08-04T20:57:42.745081Z

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 463c2b8b-c660-47e7-a460-e6bde216a9a8 · outbound

This paper cites ACM Transactions on Quantum Computing3(3), 13:1–13:17 (2022).

FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams ACM Transactions on Quantum Computing3(3), 13:1–13:17 (2022)

Reference 61

Resolution: verified exact; doi, observed 2026-08-04T20:57:42.265537Z

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 bb895057-0513-4be8-a11c-9e7e8dcf24ab · outbound

This paper cites How to Efficiently Handle Complex Values? Implementing Decision Diagrams for Quantum Computing.

FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams How to Efficiently Handle Complex Values? Implementing Decision Diagrams for Quantum Computing

Reference 62

Resolution: metadata mismatch; local_arxiv, observed 2026-08-04T20:57:42.489622Z

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 864d07c0-7ee7-4fa5-8eb9-b01cdd851657 · outbound

This paper cites IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems38(5), 848–859 (2019).

FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems38(5), 848–859 (2019)

Reference 63

Resolution: metadata mismatch; arxiv_id, observed 2026-08-04T20:57:42.474617Z

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.

Coverage vector

Reference resolution

Outbound references

Pith citing papers