{"as_of":"2026-08-10T14:40:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:a5a1cb36049b2c9c9129de2acde16499a2c882b42776e2910c7b92db4e9e6444","coverage":[{"denominator":63,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":63,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-04T20:57:42.233581Z","state":"measured"},{"denominator":63,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":63,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-10T06:31:04.303077+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2509.08276/citation-record","integrity":"/paper/2509.08276/integrity","json":"/paper/2509.08276/citation-record.json","paper":"/paper/2509.08276"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T20:57:37.030311Z","title":"The- ory of Computing9(1), 143–252 (2013)","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2509.08276","last_updated":"2025-09-10T04:29:09Z","snapshot_observed_at":"2026-08-04T20:57:35.997981Z","submitted_at":"2025-09-10T04:29:09Z","title":"FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-04T20:57:37.030311Z"},"links":{"citing_paper":"/paper/2509.08276"},"observation_digest":"sha256:15effb1d22f83d11c8f3310c74c3a11741d9f24111bb0a4a76c1b8bd5813bd86","observation_id":"427cb8a8-e3c4-47ca-95b7-f28b8c92af9d","resolution":{"observed_at":"2026-08-04T20:57:37.030311Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T20:57:37.096421Z","title":"Physical Review A70(5), 052328 (2004)","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2509.08276","last_updated":"2025-09-10T04:29:09Z","snapshot_observed_at":"2026-08-04T20:57:35.997981Z","submitted_at":"2025-09-10T04:29:09Z","title":"FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-04T20:57:37.096421Z"},"links":{"citing_paper":"/paper/2509.08276"},"observation_digest":"sha256:768dc4cd9c3df7d89ab1ed1149858bafb76ffa3cc93cc503e8ef75055b5670c6","observation_id":"b49e78e5-40ff-4d03-b426-c487bdb5fcde","resolution":{"observed_at":"2026-08-04T20:57:37.096421Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2006.24417","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T20:57:42.730239Z","title":"In: Proceedings of the Design Automation & Test in Europe Conference","venue":null,"work_id":"86c2d949-7b7e-44d6-9cad-b8697e4b9b41","year":2006},"citing_paper":{"arxiv_id":"2509.08276","last_updated":"2025-09-10T04:29:09Z","snapshot_observed_at":"2026-08-04T20:57:35.997981Z","submitted_at":"2025-09-10T04:29:09Z","title":"FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-04T20:57:37.189115Z"},"links":{"citing_paper":"/paper/2509.08276"},"observation_digest":"sha256:f264d8457e2abce952bab597e7cd1d154439253c7f5e66c496404bcb5c718259","observation_id":"7ef10653-0460-4c0c-8578-4eaa04ab6b90","resolution":{"observed_at":"2026-08-04T20:57:42.734917Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T20:57:37.281940Z","title":"Verifying Quantum Circuits with Level-Synchronized Tree Automata9(POPL), 32:923–32:953 (2025)","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.08276","last_updated":"2025-09-10T04:29:09Z","snapshot_observed_at":"2026-08-04T20:57:35.997981Z","submitted_at":"2025-09-10T04:29:09Z","title":"FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-04T20:57:37.281940Z"},"links":{"citing_paper":"/paper/2509.08276"},"observation_digest":"sha256:1488d4a8fa07c08bddd1e1e74995c4aaa207556bd2869b4699285046ca3d37b1","observation_id":"97adaa0b-516a-4e02-ad7d-a3e1a2e6090e","resolution":{"observed_at":"2026-08-04T20:57:37.281940Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T20:57:42.907154Z","title":null,"venue":null,"work_id":"e603a540-4d25-4b78-9c77-2824d19de0ec","year":2019},"citing_paper":{"arxiv_id":"2509.08276","last_updated":"2025-09-10T04:29:09Z","snapshot_observed_at":"2026-08-04T20:57:35.997981Z","submitted_at":"2025-09-10T04:29:09Z","title":"FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-04T20:57:37.469572Z"},"links":{"citing_paper":"/paper/2509.08276"},"observation_digest":"sha256:18a4847dd97c2da7585489a697e2d6447db14244d82ffc3e5535c75c1a2e5c88","observation_id":"1f3ed2aa-14af-4eda-b5ac-46a04ebaa332","resolution":{"observed_at":"2026-08-04T20:57:42.910256Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T20:57:37.563565Z","title":"Electronic Proceedings in Theoretical Computer Science287, 1–21 (2019)","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2509.08276","last_updated":"2025-09-10T04:29:09Z","snapshot_observed_at":"2026-08-04T20:57:35.997981Z","submitted_at":"2025-09-10T04:29:09Z","title":"FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-04T20:57:37.563565Z"},"links":{"citing_paper":"/paper/2509.08276"},"observation_digest":"sha256:5e11024e83e0f88431c2b899d54aef6b47994df6cc281a35b5279896e4af5449","observation_id":"62a72ace-712a-43f7-b891-f3950e388136","resolution":{"observed_at":"2026-08-04T20:57:37.563565Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T20:57:37.662842Z","title":"Electronic Proceedings in Theoretical Computer Science384, 127–141 (2023)","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2509.08276","last_updated":"2025-09-10T04:29:09Z","snapshot_observed_at":"2026-08-04T20:57:35.997981Z","submitted_at":"2025-09-10T04:29:09Z","title":"FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-04T20:57:37.662842Z"},"links":{"citing_paper":"/paper/2509.08276"},"observation_digest":"sha256:c5dc63027106b4ffd49ea6a0b718f3881869888cf7d01c7d6fbd04da76fb930c","observation_id":"6c78b69d-3b5f-4b06-b48f-18f7ca190b94","resolution":{"observed_at":"2026-08-04T20:57:37.662842Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T20:57:37.771026Z","title":"Nature 574(7779), 505–510 (2019)","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2509.08276","last_updated":"2025-09-10T04:29:09Z","snapshot_observed_at":"2026-08-04T20:57:35.997981Z","submitted_at":"2025-09-10T04:29:09Z","title":"FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-04T20:57:37.771026Z"},"links":{"citing_paper":"/paper/2509.08276"},"observation_digest":"sha256:9985538117662a1487cf3ab3b4ba2cfc91c12eafbda15931aae3c5ff56481c4c","observation_id":"6cfca649-84fe-4213-8098-a6ec6af1512c","resolution":{"observed_at":"2026-08-04T20:57:37.771026Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"1993.58005","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T20:57:42.716377Z","title":"In: Proceedings of 1993 International Conference on Computer Aided Design (ICCAD)","venue":null,"work_id":"d72b06ec-0fbf-415e-8624-f6ff818874f1","year":1993},"citing_paper":{"arxiv_id":"2509.08276","last_updated":"2025-09-10T04:29:09Z","snapshot_observed_at":"2026-08-04T20:57:35.997981Z","submitted_at":"2025-09-10T04:29:09Z","title":"FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-04T20:57:37.831044Z"},"links":{"citing_paper":"/paper/2509.08276"},"observation_digest":"sha256:1bf2ecf919b120e64128a46e959f81d054e63b96d98f15eafb467bfbefec9e7a","observation_id":"3d854bc6-b734-4b01-a58b-437665619557","resolution":{"observed_at":"2026-08-04T20:57:42.721187Z","resolver_source":"arxiv_id","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T20:57:37.939101Z","title":"IEEE Transactions on ComputersC-35(8), 677–691 (1986)","venue":null,"work_id":null,"year":1986},"citing_paper":{"arxiv_id":"2509.08276","last_updated":"2025-09-10T04:29:09Z","snapshot_observed_at":"2026-08-04T20:57:35.997981Z","submitted_at":"2025-09-10T04:29:09Z","title":"FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-04T20:57:37.939101Z"},"links":{"citing_paper":"/paper/2509.08276"},"observation_digest":"sha256:20faaae92586c9ee900ea6a89c83f99cf740dc92ae7a47a1cb3151d52688eb0c","observation_id":"6dba9af2-4143-4137-9a6d-5dc93bd42638","resolution":{"observed_at":"2026-08-04T20:57:37.939101Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"1995.48001","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T20:57:42.692580Z","title":"In: Proceedings of IEEE International Conference on Computer Aided Design (ICCAD)","venue":null,"work_id":"1ea0bb81-d2d4-4c1b-90ca-84da25144e38","year":1995},"citing_paper":{"arxiv_id":"2509.08276","last_updated":"2025-09-10T04:29:09Z","snapshot_observed_at":"2026-08-04T20:57:35.997981Z","submitted_at":"2025-09-10T04:29:09Z","title":"FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-04T20:57:38.053546Z"},"links":{"citing_paper":"/paper/2509.08276"},"observation_digest":"sha256:33ed68934877b3b74848651aa2463e45bf7f50ed36604ec6dcd459f9dc9dea4f","observation_id":"b378c36b-dae2-42f8-9ef5-fd5dd5b4ad9a","resolution":{"observed_at":"2026-08-04T20:57:42.697716Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T20:57:38.221517Z","title":"In: 2021 IEEE International Conference on Quantum Computing and Engineering (QCE)","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2509.08276","last_updated":"2025-09-10T04:29:09Z","snapshot_observed_at":"2026-08-04T20:57:35.997981Z","submitted_at":"2025-09-10T04:29:09Z","title":"FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-04T20:57:38.221517Z"},"links":{"citing_paper":"/paper/2509.08276"},"observation_digest":"sha256:cd10e1fcbb511be08e76ad65f6b2b630928bb03f0f6ec5d4df3d83311d6c9da2","observation_id":"13c5dcb9-84fd-4536-8597-58847becae83","resolution":{"observed_at":"2026-08-04T20:57:38.221517Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-72019","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T20:57:42.425546Z","title":null,"venue":null,"work_id":"544bf87f-2cf9-4b26-93b8-e3acde70775e","year":2021},"citing_paper":{"arxiv_id":"2509.08276","last_updated":"2025-09-10T04:29:09Z","snapshot_observed_at":"2026-08-04T20:57:35.997981Z","submitted_at":"2025-09-10T04:29:09Z","title":"FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-04T20:57:38.389517Z"},"links":{"citing_paper":"/paper/2509.08276"},"observation_digest":"sha256:7188319509e524b8057bf0c966f8b1ecf839b9c9aa560ffcb26a98247e6ee27c","observation_id":"1efeed1b-7df6-460b-8bca-2cf3c02495d6","resolution":{"observed_at":"2026-08-04T20:57:42.428727Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T20:57:38.443445Z","title":"In: Enea, C., Lal, A","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2509.08276","last_updated":"2025-09-10T04:29:09Z","snapshot_observed_at":"2026-08-04T20:57:35.997981Z","submitted_at":"2025-09-10T04:29:09Z","title":"FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-04T20:57:38.443445Z"},"links":{"citing_paper":"/paper/2509.08276"},"observation_digest":"sha256:4a18a6dc8b3876c0d54927f29e9f1b638f5f3b870f795b061c5e2a6069260613","observation_id":"d358cf33-9df2-41cd-aa04-dda3bd8c4dc2","resolution":{"observed_at":"2026-08-04T20:57:38.443445Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T20:57:38.548257Z","title":"In: Aceto, L., Damgård, I., Goldberg, L.A., Halldórsson, M.M., Ingólfsdóttir, A., Walukiewicz, I","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2509.08276","last_updated":"2025-09-10T04:29:09Z","snapshot_observed_at":"2026-08-04T20:57:35.997981Z","submitted_at":"2025-09-10T04:29:09Z","title":"FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-04T20:57:38.548257Z"},"links":{"citing_paper":"/paper/2509.08276"},"observation_digest":"sha256:50c568e9c935ccc9840e8c15f7fa0d77e60548c68760bb7b11be3a2f7e1baeb2","observation_id":"6755b5b3-af89-400f-ad4f-690bd960ad12","resolution":{"observed_at":"2026-08-04T20:57:38.548257Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T20:57:38.658637Z","title":"Theoretical Computer Science897, 1–22 (2022)","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2509.08276","last_updated":"2025-09-10T04:29:09Z","snapshot_observed_at":"2026-08-04T20:57:35.997981Z","submitted_at":"2025-09-10T04:29:09Z","title":"FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-04T20:57:38.658637Z"},"links":{"citing_paper":"/paper/2509.08276"},"observation_digest":"sha256:ed4cdbbc65fb3a7013ecb53cdf436e3e074a77b0e891e423e689ac35bc6f5a1a","observation_id":"c43cd3ec-391d-4546-9ec7-8f5e3c007561","resolution":{"observed_at":"2026-08-04T20:57:38.658637Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T20:57:42.888988Z","title":null,"venue":null,"work_id":"b846867d-cfc3-4ebf-8166-a3a50283ab88","year":2019},"citing_paper":{"arxiv_id":"2509.08276","last_updated":"2025-09-10T04:29:09Z","snapshot_observed_at":"2026-08-04T20:57:35.997981Z","submitted_at":"2025-09-10T04:29:09Z","title":"FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-04T20:57:38.718672Z"},"links":{"citing_paper":"/paper/2509.08276"},"observation_digest":"sha256:981060c0d5c4f19bd59351a3a0b23850cbf80f424a91d03db73c0dea3b585389","observation_id":"a6a14283-0af4-4238-980b-26df61af7694","resolution":{"observed_at":"2026-08-04T20:57:42.892683Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T20:57:42.878510Z","title":"Quantum Info","venue":null,"work_id":"8546d6e0-47d2-407d-89ef-0af4cce41ecc","year":2005},"citing_paper":{"arxiv_id":"2509.08276","last_updated":"2025-09-10T04:29:09Z","snapshot_observed_at":"2026-08-04T20:57:35.997981Z","submitted_at":"2025-09-10T04:29:09Z","title":"FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-04T20:57:38.773397Z"},"links":{"citing_paper":"/paper/2509.08276"},"observation_digest":"sha256:fa3cf3faf3c8c86c8373a1efd225ff5dabd1a7ce3aede70fbbc28959b3891ffb","observation_id":"09974408-c2be-4cc0-9f89-f20362f0ffcc","resolution":{"observed_at":"2026-08-04T20:57:42.881889Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T20:57:38.994821Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.08276","last_updated":"2025-09-10T04:29:09Z","snapshot_observed_at":"2026-08-04T20:57:35.997981Z","submitted_at":"2025-09-10T04:29:09Z","title":"FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-04T20:57:38.994821Z"},"links":{"citing_paper":"/paper/2509.08276"},"observation_digest":"sha256:d3660bfd0b6a81da2584d1e495f08fb1eb2649f5c7daa697e7e8f9d599c60f9e","observation_id":"1b18a50c-ed66-4ae3-8e3d-6b0bdd8b62b6","resolution":{"observed_at":"2026-08-04T20:57:38.994821Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.3990/1.9789036541602","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"PhD, University of Twente, Enschede, The Netherlands (2016)","venue":null,"work_id":"65c429e7-51d5-4896-abd9-8d0357152340","year":2016},"citing_paper":{"arxiv_id":"2509.08276","last_updated":"2025-09-10T04:29:09Z","snapshot_observed_at":"2026-08-04T20:57:35.997981Z","submitted_at":"2025-09-10T04:29:09Z","title":"FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-04T20:57:39.068422Z"},"links":{"citing_paper":"/paper/2509.08276"},"observation_digest":"sha256:dc47fc9d7ac8646c8ee279773a35e8a95a5910a26b13d221340dd270a13d75df","observation_id":"5cd52383-2967-4cd7-a492-8163b48308c4","resolution":{"observed_at":"2026-08-04T20:57:42.390719Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"1999.0485","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T20:57:42.667938Z","title":"Proceedings of the Royal Society of London","venue":null,"work_id":"b3cd227c-2402-4d29-8a23-883ffb180c83","year":1991},"citing_paper":{"arxiv_id":"2509.08276","last_updated":"2025-09-10T04:29:09Z","snapshot_observed_at":"2026-08-04T20:57:35.997981Z","submitted_at":"2025-09-10T04:29:09Z","title":"FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-04T20:57:39.140294Z"},"links":{"citing_paper":"/paper/2509.08276"},"observation_digest":"sha256:9c8a587a8a7fb13fd89f1da96479ce543447551d1f104b13503404073270dd14","observation_id":"b724ab2f-6c9f-4c93-a087-14e09e58da03","resolution":{"observed_at":"2026-08-04T20:57:42.672564Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/11591191_34","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Lecture notes in computer science","work_id":"ffeb893f-b4c9-4c55-ab95-8a0bac3ce1ee","year":2005},"citing_paper":{"arxiv_id":"2509.08276","last_updated":"2025-09-10T04:29:09Z","snapshot_observed_at":"2026-08-04T20:57:35.997981Z","submitted_at":"2025-09-10T04:29:09Z","title":"FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-04T20:57:39.215689Z"},"links":{"citing_paper":"/paper/2509.08276"},"observation_digest":"sha256:8bcc1e4af2b03634b94ebac726f4d5c1c2016b74685919adac332ac9cba0bfae","observation_id":"e0665d8e-d96b-4062-8045-34b21ccca4b9","resolution":{"observed_at":"2026-08-04T20:57:42.377153Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T20:57:42.868123Z","title":"International series in pure and applied physic, McGraw-Hill (1965)","venue":null,"work_id":"11a90c36-dafa-41d2-8c03-ea86a32487ef","year":1965},"citing_paper":{"arxiv_id":"2509.08276","last_updated":"2025-09-10T04:29:09Z","snapshot_observed_at":"2026-08-04T20:57:35.997981Z","submitted_at":"2025-09-10T04:29:09Z","title":"FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-04T20:57:39.289034Z"},"links":{"citing_paper":"/paper/2509.08276"},"observation_digest":"sha256:5ca8a3be44b7f599b2084c43ec9d9851034518303d584708a9b38e47909019c3","observation_id":"04eb83c7-2b2d-48c7-8c57-d9978756b1e2","resolution":{"observed_at":"2026-08-04T20:57:42.871542Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T20:57:39.361990Z","title":"Physical Review A87(3), 032332 (2013)","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2509.08276","last_updated":"2025-09-10T04:29:09Z","snapshot_observed_at":"2026-08-04T20:57:35.997981Z","submitted_at":"2025-09-10T04:29:09Z","title":"FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-04T20:57:39.361990Z"},"links":{"citing_paper":"/paper/2509.08276"},"observation_digest":"sha256:7349b68c543c108b4a1ea9aae8124ad646d4ae63d3281fa87d153c9199936ed5","observation_id":"e713273c-a401-4072-802f-49b25c6da028","resolution":{"observed_at":"2026-08-04T20:57:39.361990Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"quant-ph/9807006","last_updated":"1998-07-01T19:34:39Z","snapshot_observed_at":"2026-07-07T07:27:58.465159Z","submitted_at":"1998-07-01T19:34:39Z","title":"The Heisenberg Representation of Quantum Computers","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"quant-ph/9807006","snapshot_observed_at":"2026-08-04T20:57:39.436114Z","title":"arXiv:quant-ph/9807006 (1998)","venue":null,"work_id":null,"year":1998},"citing_paper":{"arxiv_id":"2509.08276","last_updated":"2025-09-10T04:29:09Z","snapshot_observed_at":"2026-08-04T20:57:35.997981Z","submitted_at":"2025-09-10T04:29:09Z","title":"FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-04T20:57:39.436114Z"},"links":{"cited_paper":"/paper/quant-ph/9807006","citing_paper":"/paper/2509.08276"},"observation_digest":"sha256:029d22865a064b8db243c67220d5610edbc598cb334a38dc3d1e6b510442b08f","observation_id":"ba2e43ed-942f-4750-a698-bafc89dfc4fb","resolution":{"observed_at":"2026-08-04T20:57:39.436114Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3530776","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"ACM Transactions on Quantum Computing3(4), 22:1–22:21 (2022)","venue":"ACM Transactions on Quantum Computing","work_id":"af99347b-1a72-4210-9908-75c8b9b023bc","year":2022},"citing_paper":{"arxiv_id":"2509.08276","last_updated":"2025-09-10T04:29:09Z","snapshot_observed_at":"2026-08-04T20:57:35.997981Z","submitted_at":"2025-09-10T04:29:09Z","title":"FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-04T20:57:39.546681Z"},"links":{"citing_paper":"/paper/2509.08276"},"observation_digest":"sha256:a58380d437eb3c4cc7a7fa0c92a186703aefc2e07103ebc8b3665eb0e7b9c747","observation_id":"22674f4b-48fd-4cc9-b139-f2755a636594","resolution":{"observed_at":"2026-08-04T20:57:42.360484Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T20:57:42.857790Z","title":"In: 2022 IEEE/ACM International Conference On Computer Aided Design (ICCAD)","venue":null,"work_id":"6bdc298f-94fa-4605-83ca-2b13dcf480b8","year":2022},"citing_paper":{"arxiv_id":"2509.08276","last_updated":"2025-09-10T04:29:09Z","snapshot_observed_at":"2026-08-04T20:57:35.997981Z","submitted_at":"2025-09-10T04:29:09Z","title":"FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-04T20:57:39.620706Z"},"links":{"citing_paper":"/paper/2509.08276"},"observation_digest":"sha256:112da3d3cbab6722185ac01d05cc86ff8c7d6fe2ecd451b7787257e7c42bd952","observation_id":"34eaaa62-3cab-4c89-bdc3-0995a099e52a","resolution":{"observed_at":"2026-08-04T20:57:42.861094Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T20:57:39.695743Z","title":"In: 2021 58th ACM/IEEE Design Automation Conference (DAC)","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2509.08276","last_updated":"2025-09-10T04:29:09Z","snapshot_observed_at":"2026-08-04T20:57:35.997981Z","submitted_at":"2025-09-10T04:29:09Z","title":"FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-04T20:57:39.695743Z"},"links":{"citing_paper":"/paper/2509.08276"},"observation_digest":"sha256:d473f37189c5bcad78c5af8dec113c4ed1576cf2edd00c6745fe9f6b42e08a5b","observation_id":"241cc75f-4228-41d2-abd7-40bf8fc26311","resolution":{"observed_at":"2026-08-04T20:57:39.695743Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T20:57:39.731821Z","title":"ACM Trans","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2509.08276","last_updated":"2025-09-10T04:29:09Z","snapshot_observed_at":"2026-08-04T20:57:35.997981Z","submitted_at":"2025-09-10T04:29:09Z","title":"FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-04T20:57:39.731821Z"},"links":{"citing_paper":"/paper/2509.08276"},"observation_digest":"sha256:4a6d12bccf61631b840b263ba4329a358fed4463f7064b9bc4ba45b540a5fa6e","observation_id":"1c6f8189-91b1-4e15-98eb-edf7d20fd919","resolution":{"observed_at":"2026-08-04T20:57:39.731821Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"3038.36730","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T20:57:42.634492Z","title":"In: Proceedings of the 53rd International Conference on Parallel Processing","venue":null,"work_id":"9050f6ae-95b0-4284-9bc7-9cf473ed6a28","year":2024},"citing_paper":{"arxiv_id":"2509.08276","last_updated":"2025-09-10T04:29:09Z","snapshot_observed_at":"2026-08-04T20:57:35.997981Z","submitted_at":"2025-09-10T04:29:09Z","title":"FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-04T20:57:39.803733Z"},"links":{"citing_paper":"/paper/2509.08276"},"observation_digest":"sha256:359a7c3aa07973a2e199d0dee268b089e878ec67747d1794b368da6f8e6c3ab8","observation_id":"46d754e8-0d8f-424a-b71b-f51d8dd8eec6","resolution":{"observed_at":"2026-08-04T20:57:42.639189Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T20:57:42.847571Z","title":"AddisonWesley Professional, Upper Saddle River, NJ, 1 edition edn","venue":null,"work_id":"9577cab9-e582-41ae-adb6-0ff79056238f","year":2009},"citing_paper":{"arxiv_id":"2509.08276","last_updated":"2025-09-10T04:29:09Z","snapshot_observed_at":"2026-08-04T20:57:35.997981Z","submitted_at":"2025-09-10T04:29:09Z","title":"FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-04T20:57:39.880569Z"},"links":{"citing_paper":"/paper/2509.08276"},"observation_digest":"sha256:c5252a7e9650776a61a9b3d42683e2d474a54f73bebf70f0945295742843818a","observation_id":"f6bb0341-d076-4010-98fd-06739af2d3af","resolution":{"observed_at":"2026-08-04T20:57:42.850822Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T20:57:42.837770Z","title":"Entropy26(12), 1058 (2024)","venue":null,"work_id":"11881f7d-3852-428f-99c7-9b7533df24ab","year":2024},"citing_paper":{"arxiv_id":"2509.08276","last_updated":"2025-09-10T04:29:09Z","snapshot_observed_at":"2026-08-04T20:57:35.997981Z","submitted_at":"2025-09-10T04:29:09Z","title":"FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-04T20:57:39.955861Z"},"links":{"citing_paper":"/paper/2509.08276"},"observation_digest":"sha256:b2154b35482d2e49b5d4cb46a1a091b14ca7a2bb8e000f2a6abe8c11527e69cb","observation_id":"80674bf6-c92c-4190-b2f9-cf835c097317","resolution":{"observed_at":"2026-08-04T20:57:42.840911Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2019.29475","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T20:57:42.620451Z","title":"IEEE Transactions on Parallel and Distributed Systems 31(4), 805–816 (2020)","venue":null,"work_id":"177e6fc6-6f26-4d46-b657-b8cff48b856b","year":2020},"citing_paper":{"arxiv_id":"2509.08276","last_updated":"2025-09-10T04:29:09Z","snapshot_observed_at":"2026-08-04T20:57:35.997981Z","submitted_at":"2025-09-10T04:29:09Z","title":"FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-04T20:57:40.066692Z"},"links":{"citing_paper":"/paper/2509.08276"},"observation_digest":"sha256:c063e051b9746aaac2419a70cc8ab7d7a6dad0941f1be8650fcffe4a9a8a0b05","observation_id":"e1a4c434-8b1f-408e-8425-13ac6f53c184","resolution":{"observed_at":"2026-08-04T20:57:42.625384Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T20:57:42.827697Z","title":null,"venue":null,"work_id":"c2288333-eddb-4aa0-bdfb-7eb210f6d4aa","year":1999},"citing_paper":{"arxiv_id":"2509.08276","last_updated":"2025-09-10T04:29:09Z","snapshot_observed_at":"2026-08-04T20:57:35.997981Z","submitted_at":"2025-09-10T04:29:09Z","title":"FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-04T20:57:40.139352Z"},"links":{"citing_paper":"/paper/2509.08276"},"observation_digest":"sha256:6934edaf9c8363eabe68e17f1d6d8f8049c9169fd628142c4278a9e602a6d6cb","observation_id":"9e764223-b690-4c18-b85b-b27f3331bccd","resolution":{"observed_at":"2026-08-04T20:57:42.830714Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/tc.2011.114","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"IEEE Transactions on Computers60(10), 1377–1389 (2011)","venue":"IEEE Transactions on Computers","work_id":"5e0bd521-601b-467e-b91a-2ef35db24052","year":2011},"citing_paper":{"arxiv_id":"2509.08276","last_updated":"2025-09-10T04:29:09Z","snapshot_observed_at":"2026-08-04T20:57:35.997981Z","submitted_at":"2025-09-10T04:29:09Z","title":"FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-04T20:57:40.215314Z"},"links":{"citing_paper":"/paper/2509.08276"},"observation_digest":"sha256:9c51792e2d5b9514c4785ea42aab2e50b74ed0c8e8cfd19cb0113c5b691e771d","observation_id":"36749d36-4ee4-4295-b5d3-845a23c82985","resolution":{"observed_at":"2026-08-04T20:57:42.342013Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T20:57:42.817865Z","title":"SIAM Journal on Computing38(3), 963–981 (2008)","venue":null,"work_id":"6d78b5f1-78c9-4b4f-8c99-98e3106826eb","year":2008},"citing_paper":{"arxiv_id":"2509.08276","last_updated":"2025-09-10T04:29:09Z","snapshot_observed_at":"2026-08-04T20:57:35.997981Z","submitted_at":"2025-09-10T04:29:09Z","title":"FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-04T20:57:40.288125Z"},"links":{"citing_paper":"/paper/2509.08276"},"observation_digest":"sha256:d1545adecaa1de75a8fb4a390f5478b54a7ced26a3750a7aa30f74753f6c90b0","observation_id":"a71be639-34cb-4064-b361-b76f38273d18","resolution":{"observed_at":"2026-08-04T20:57:42.821001Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2403.07197","last_updated":"2024-03-11T22:40:15Z","snapshot_observed_at":"2026-08-10T11:29:23.145526Z","submitted_at":"2024-03-11T22:40:15Z","title":"Simulating Quantum Circuits by Model Counting","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2403.07197","snapshot_observed_at":"2026-08-04T20:57:40.364138Z","title":"https://doi.org/10.48550/arXiv.2403.07197","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.08276","last_updated":"2025-09-10T04:29:09Z","snapshot_observed_at":"2026-08-04T20:57:35.997981Z","submitted_at":"2025-09-10T04:29:09Z","title":"FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-04T20:57:40.364138Z"},"links":{"cited_paper":"/paper/2403.07197","citing_paper":"/paper/2509.08276"},"observation_digest":"sha256:554a7714b6e8b595a7e88f364db017ceaea49afd418555a08ba1ad8909d7ef3e","observation_id":"a10c162a-9ab0-42d0-a086-9422a098b524","resolution":{"observed_at":"2026-08-04T20:57:40.364138Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T20:57:42.807595Z","title":"Springer New York, NY (2004)","venue":null,"work_id":"98da49bf-2297-4e8b-b4c0-e59aca1f2f30","year":2004},"citing_paper":{"arxiv_id":"2509.08276","last_updated":"2025-09-10T04:29:09Z","snapshot_observed_at":"2026-08-04T20:57:35.997981Z","submitted_at":"2025-09-10T04:29:09Z","title":"FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-04T20:57:40.510445Z"},"links":{"citing_paper":"/paper/2509.08276"},"observation_digest":"sha256:1888eea13118179882bad341c3fa710ece0eef650ddb9d86d64545262b2a670b","observation_id":"13f5f5ee-cf7f-4519-a174-5442b3235f91","resolution":{"observed_at":"2026-08-04T20:57:42.810975Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T20:57:42.797312Z","title":"Journal of Physics A: Mathematical and Theoretical50(8), 084002 (2017)","venue":null,"work_id":"0b6dc4fa-46e9-4553-bfba-658459707a65","year":2017},"citing_paper":{"arxiv_id":"2509.08276","last_updated":"2025-09-10T04:29:09Z","snapshot_observed_at":"2026-08-04T20:57:35.997981Z","submitted_at":"2025-09-10T04:29:09Z","title":"FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-04T20:57:40.587670Z"},"links":{"citing_paper":"/paper/2509.08276"},"observation_digest":"sha256:bd881219f8b6997dc41457e40d0786b263dca3e1bc3feeb2a5aaafa2f56931b5","observation_id":"7de316da-00b1-4e73-aa29-ecca0603cdee","resolution":{"observed_at":"2026-08-04T20:57:42.800557Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T20:57:40.697876Z","title":"npj Quantum Information 4(1), 1–12 (2018)","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2509.08276","last_updated":"2025-09-10T04:29:09Z","snapshot_observed_at":"2026-08-04T20:57:35.997981Z","submitted_at":"2025-09-10T04:29:09Z","title":"FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-04T20:57:40.697876Z"},"links":{"citing_paper":"/paper/2509.08276"},"observation_digest":"sha256:a760d9eddfeec798fb5262ddcab51a854d2e17a1ef149e0c64df50b44694a4f4","observation_id":"f7ed0e4a-63bc-463f-a8ea-171aaec9ab39","resolution":{"observed_at":"2026-08-04T20:57:40.697876Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2015.24590","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T20:57:42.606544Z","title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems35(1), 86–99 (2016)","venue":null,"work_id":"5c96ccb9-be6f-44d4-b564-aa78774ec0a2","year":2016},"citing_paper":{"arxiv_id":"2509.08276","last_updated":"2025-09-10T04:29:09Z","snapshot_observed_at":"2026-08-04T20:57:35.997981Z","submitted_at":"2025-09-10T04:29:09Z","title":"FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-04T20:57:40.773191Z"},"links":{"citing_paper":"/paper/2509.08276"},"observation_digest":"sha256:cac7ff6a68a75176d9b11e78e02d46ed290c09d81c247cd256c5236774ceee63","observation_id":"7a05b7a4-6f5d-46d1-89eb-c7708b292a67","resolution":{"observed_at":"2026-08-04T20:57:42.611460Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T20:57:40.805726Z","title":"Physical Review Letters128(3), 030501 (2022)","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2509.08276","last_updated":"2025-09-10T04:29:09Z","snapshot_observed_at":"2026-08-04T20:57:35.997981Z","submitted_at":"2025-09-10T04:29:09Z","title":"FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-04T20:57:40.805726Z"},"links":{"citing_paper":"/paper/2509.08276"},"observation_digest":"sha256:8c3f5e5d6b9e279eaec880eceb957c24a21d0402df86189493ebab9af0b144a3","observation_id":"50916b78-5936-48ee-adf0-b6fbbdc00bf6","resolution":{"observed_at":"2026-08-04T20:57:40.805726Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2022.32022","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T20:57:42.590404Z","title":"IEEE Journal on Emerging and Selected Topics in Circuits and Systems12(3), 662–675 (2022)","venue":null,"work_id":"f70510ea-3537-453f-b70c-fedc107d0e71","year":2022},"citing_paper":{"arxiv_id":"2509.08276","last_updated":"2025-09-10T04:29:09Z","snapshot_observed_at":"2026-08-04T20:57:35.997981Z","submitted_at":"2025-09-10T04:29:09Z","title":"FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-04T20:57:40.814170Z"},"links":{"citing_paper":"/paper/2509.08276"},"observation_digest":"sha256:8d69fae0c551ccb60fe3eea9bd2e82f384a408a0267053984bebb99356dd9d8b","observation_id":"58cfbbba-8326-4517-85e8-aa73e6550fe9","resolution":{"observed_at":"2026-08-04T20:57:42.595722Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1403.2975","last_updated":"2016-06-15T08:46:03Z","snapshot_observed_at":"2026-08-09T05:56:44.444450Z","submitted_at":"2014-03-12T15:37:00Z","title":"Optimal ancilla-free Clifford+T approximation of z-rotations","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1403.2975","snapshot_observed_at":"2026-08-04T20:57:40.886082Z","title":"arXiv:1403.2975 [quant-ph] (2016)","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2509.08276","last_updated":"2025-09-10T04:29:09Z","snapshot_observed_at":"2026-08-04T20:57:35.997981Z","submitted_at":"2025-09-10T04:29:09Z","title":"FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-04T20:57:40.886082Z"},"links":{"cited_paper":"/paper/1403.2975","citing_paper":"/paper/2509.08276"},"observation_digest":"sha256:700083c97dde7039ed151610d6313df0b50125e509c1980e0f1dafd01506a634","observation_id":"81dabf43-501f-4055-bfb7-ec2bdb97f59d","resolution":{"observed_at":"2026-08-04T20:57:40.886082Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"1993.58002","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T20:57:42.566069Z","title":"In: Proceedings of 1993 International Conference on Computer Aided Design (ICCAD)","venue":null,"work_id":"33664611-dfc5-44fa-bcc4-7148f197bc82","year":1993},"citing_paper":{"arxiv_id":"2509.08276","last_updated":"2025-09-10T04:29:09Z","snapshot_observed_at":"2026-08-04T20:57:35.997981Z","submitted_at":"2025-09-10T04:29:09Z","title":"FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-04T20:57:40.992606Z"},"links":{"citing_paper":"/paper/2509.08276"},"observation_digest":"sha256:038791b75591bcd61cd82d52b35bbe7b305282d5d9c6cc704d8d31ab9909c5ba","observation_id":"de28ecd6-6249-4c95-8cd2-0065ddcca048","resolution":{"observed_at":"2026-08-04T20:57:42.570792Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T20:57:41.072249Z","title":"In: Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part III","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2509.08276","last_updated":"2025-09-10T04:29:09Z","snapshot_observed_at":"2026-08-04T20:57:35.997981Z","submitted_at":"2025-09-10T04:29:09Z","title":"FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-04T20:57:41.072249Z"},"links":{"citing_paper":"/paper/2509.08276"},"observation_digest":"sha256:e063b8c80bab05a8e574de9e7b932bcf24eaa49a8d4e61ed9e0527126fc0e3d8","observation_id":"de1f2320-57e7-4599-912b-03f8759e5fa5","resolution":{"observed_at":"2026-08-04T20:57:41.072249Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T20:57:41.202222Z","title":"Weighted CFLOBDDs8(OOPSLA2), 320:1390–320:1419 (2024)","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.08276","last_updated":"2025-09-10T04:29:09Z","snapshot_observed_at":"2026-08-04T20:57:35.997981Z","submitted_at":"2025-09-10T04:29:09Z","title":"FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-04T20:57:41.202222Z"},"links":{"citing_paper":"/paper/2509.08276"},"observation_digest":"sha256:ade049237674f2dfb28f9c757aff9e0e2fe09d8a57dfd420c3ad5aa70aeddbe5","observation_id":"8ee6c9b7-892d-4492-a5a6-159db951d29f","resolution":{"observed_at":"2026-08-04T20:57:41.202222Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2104.12101","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T20:57:42.550821Z","title":"arXiv:2104.12101 [cs] (2021)","venue":null,"work_id":"f1756b25-864d-4288-979a-b8cb49cd6c36","year":2021},"citing_paper":{"arxiv_id":"2509.08276","last_updated":"2025-09-10T04:29:09Z","snapshot_observed_at":"2026-08-04T20:57:35.997981Z","submitted_at":"2025-09-10T04:29:09Z","title":"FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-04T20:57:41.324698Z"},"links":{"citing_paper":"/paper/2509.08276"},"observation_digest":"sha256:da9b24c97054eda9dc8e75ccf25f96c71335dc5a156e7e318fc3168013528434","observation_id":"d721ae41-62d4-4dda-89a6-c8b882c9c3ea","resolution":{"observed_at":"2026-08-04T20:57:42.555600Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T20:57:42.786239Z","title":"University of Colorado at Boulder (2005)","venue":null,"work_id":"fa657b8b-2229-48c3-a111-a839493b2953","year":2005},"citing_paper":{"arxiv_id":"2509.08276","last_updated":"2025-09-10T04:29:09Z","snapshot_observed_at":"2026-08-04T20:57:35.997981Z","submitted_at":"2025-09-10T04:29:09Z","title":"FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-04T20:57:41.399364Z"},"links":{"citing_paper":"/paper/2509.08276"},"observation_digest":"sha256:bc7974b5b4f043223a1f4d2589b347e941e0ab76f01a8f058711c398fa854924","observation_id":"cd00afd9-fdb0-4166-83c6-b397efd8e308","resolution":{"observed_at":"2026-08-04T20:57:42.789975Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2021.95861","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T20:57:42.535939Z","title":"In: 2021 58th ACM/IEEE Design Automa- tion Conference (DAC)","venue":null,"work_id":"59d7b37c-90a5-4f0d-a115-94804e23f54c","year":2021},"citing_paper":{"arxiv_id":"2509.08276","last_updated":"2025-09-10T04:29:09Z","snapshot_observed_at":"2026-08-04T20:57:35.997981Z","submitted_at":"2025-09-10T04:29:09Z","title":"FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-04T20:57:41.485496Z"},"links":{"citing_paper":"/paper/2509.08276"},"observation_digest":"sha256:ba9f1601565b996480933739d0be6e529e452638cde5566fbd5ce56c448cd689","observation_id":"d34c8bff-22cd-4643-8e16-9cc28ce3be96","resolution":{"observed_at":"2026-08-04T20:57:42.540721Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T20:57:41.610322Z","title":"Quantum Information Processing2(5), 347–380 (2003)","venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2509.08276","last_updated":"2025-09-10T04:29:09Z","snapshot_observed_at":"2026-08-04T20:57:35.997981Z","submitted_at":"2025-09-10T04:29:09Z","title":"FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-04T20:57:41.610322Z"},"links":{"citing_paper":"/paper/2509.08276"},"observation_digest":"sha256:03c20d4c696287543446fe333448fd88b4ea6808c25078657e1c4184b032b8fc","observation_id":"09ee5452-df0d-475d-9d33-979a02ec0953","resolution":{"observed_at":"2026-08-04T20:57:41.610322Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2007.43972","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T20:57:42.509965Z","title":"In: 2007 IEEE/ACM International Conference on Computer- Aided Design","venue":null,"work_id":"30a1bddb-ba41-42e3-bd14-c4f25e2ede2e","year":2007},"citing_paper":{"arxiv_id":"2509.08276","last_updated":"2025-09-10T04:29:09Z","snapshot_observed_at":"2026-08-04T20:57:35.997981Z","submitted_at":"2025-09-10T04:29:09Z","title":"FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-04T20:57:41.673827Z"},"links":{"citing_paper":"/paper/2509.08276"},"observation_digest":"sha256:c0a4f94227903c42dc03d27b03f1de4b8feb655a5c7e8cd9eefac0cf73001d15","observation_id":"0d097ad7-e61a-4c4f-97ca-fa80a0dba2a2","resolution":{"observed_at":"2026-08-04T20:57:42.515571Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T20:57:42.774523Z","title":null,"venue":null,"work_id":"46636ec5-483e-46d6-8111-0fe32070857f","year":2020},"citing_paper":{"arxiv_id":"2509.08276","last_updated":"2025-09-10T04:29:09Z","snapshot_observed_at":"2026-08-04T20:57:35.997981Z","submitted_at":"2025-09-10T04:29:09Z","title":"FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-04T20:57:41.762327Z"},"links":{"citing_paper":"/paper/2509.08276"},"observation_digest":"sha256:f5748044272973d2f7cf5eb8c4356cbb4bc5022bcf6fcf3cff8b20a454aac2d1","observation_id":"64f216ab-c1a0-43bb-af48-0956a9b97596","resolution":{"observed_at":"2026-08-04T20:57:42.777943Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T20:57:42.763340Z","title":null,"venue":null,"work_id":"befbc6be-e7cc-4e3d-b96f-7db78b0bd739","year":2022},"citing_paper":{"arxiv_id":"2509.08276","last_updated":"2025-09-10T04:29:09Z","snapshot_observed_at":"2026-08-04T20:57:35.997981Z","submitted_at":"2025-09-10T04:29:09Z","title":"FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-04T20:57:41.847326Z"},"links":{"citing_paper":"/paper/2509.08276"},"observation_digest":"sha256:82a12aeae19a303fd32a9607dc99aa2b109f665d62b33f2bb926c06c0d4eff24","observation_id":"9e5af798-9522-4061-ba74-48ca66c66461","resolution":{"observed_at":"2026-08-04T20:57:42.766867Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T20:57:41.928106Z","title":"Logical Methods in Computer ScienceV olume 20, Issue 1 (2024)","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.08276","last_updated":"2025-09-10T04:29:09Z","snapshot_observed_at":"2026-08-04T20:57:35.997981Z","submitted_at":"2025-09-10T04:29:09Z","title":"FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-04T20:57:41.928106Z"},"links":{"citing_paper":"/paper/2509.08276"},"observation_digest":"sha256:1623bc8185cdeac0c4d616685293f001cfeb4cf05b3f83a4664f6fbf10257f1b","observation_id":"af3f07fa-a5d8-4bba-b6b8-10aa03865f59","resolution":{"observed_at":"2026-08-04T20:57:41.928106Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-32157-3_1","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: Caltais, G., Schilling, C","venue":"Lecture notes in computer science","work_id":"e013ca71-5368-4a03-b817-f8c1527cf914","year":2023},"citing_paper":{"arxiv_id":"2509.08276","last_updated":"2025-09-10T04:29:09Z","snapshot_observed_at":"2026-08-04T20:57:35.997981Z","submitted_at":"2025-09-10T04:29:09Z","title":"FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-04T20:57:42.004451Z"},"links":{"citing_paper":"/paper/2509.08276"},"observation_digest":"sha256:d3cde0ba1fe75d573079b6d6306da03e62b5671380d1d6fc7dd935854233ab3a","observation_id":"7ac4cbc7-9005-4a5f-b9cc-99699077c442","resolution":{"observed_at":"2026-08-04T20:57:42.288062Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-0-387-30440-3_428","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: Meyers, R.A","venue":"Encyclopedia of Complexity and Systems Science","work_id":"6c902b23-5a99-48fe-bf13-35351d592911","year":2009},"citing_paper":{"arxiv_id":"2509.08276","last_updated":"2025-09-10T04:29:09Z","snapshot_observed_at":"2026-08-04T20:57:35.997981Z","submitted_at":"2025-09-10T04:29:09Z","title":"FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-04T20:57:42.025466Z"},"links":{"citing_paper":"/paper/2509.08276"},"observation_digest":"sha256:a53dd60f7451debd525732f91869722caff3e1d28abdc68dd6b0ff14a9d07e88","observation_id":"3adaefd4-9846-4bca-bdf9-6cda74db61bd","resolution":{"observed_at":"2026-08-04T20:57:42.277243Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T20:57:42.752565Z","title":"SIAM monographs on discrete mathematics and applications, Society for Industrial and Applied Mathematics, Philadelphia (2000)","venue":null,"work_id":"d9775070-0b37-4fc7-a173-14731f82ec20","year":2000},"citing_paper":{"arxiv_id":"2509.08276","last_updated":"2025-09-10T04:29:09Z","snapshot_observed_at":"2026-08-04T20:57:35.997981Z","submitted_at":"2025-09-10T04:29:09Z","title":"FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-04T20:57:42.099414Z"},"links":{"citing_paper":"/paper/2509.08276"},"observation_digest":"sha256:8926e7805d49c18c430339d7325b06bc68ecfac375473600f74c758024d50e41","observation_id":"da915b6b-00ae-41ae-9e5c-777250882539","resolution":{"observed_at":"2026-08-04T20:57:42.756039Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2012.13966","last_updated":"2020-12-27T15:54:25Z","snapshot_observed_at":"2026-08-05T18:02:14.598988Z","submitted_at":"2020-12-27T15:54:25Z","title":"ZX-calculus for the working quantum computer scientist","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2012.13966","snapshot_observed_at":"2026-08-04T20:57:42.155984Z","title":"arXiv:2012.13966 [quant-ph] (2020)","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2509.08276","last_updated":"2025-09-10T04:29:09Z","snapshot_observed_at":"2026-08-04T20:57:35.997981Z","submitted_at":"2025-09-10T04:29:09Z","title":"FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-04T20:57:42.155984Z"},"links":{"cited_paper":"/paper/2012.13966","citing_paper":"/paper/2509.08276"},"observation_digest":"sha256:15e6678ddd328b5728f848b736fcd14aa3062350dee50ea5e2f9d41049d50cb8","observation_id":"7010c82f-3cd2-45af-9f30-815a6b09511b","resolution":{"observed_at":"2026-08-04T20:57:42.155984Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T20:57:42.741946Z","title":"In: Int’l Symp","venue":null,"work_id":"be21e5b9-1c8a-4b03-aadb-736e4e689d50","year":2008},"citing_paper":{"arxiv_id":"2509.08276","last_updated":"2025-09-10T04:29:09Z","snapshot_observed_at":"2026-08-04T20:57:35.997981Z","submitted_at":"2025-09-10T04:29:09Z","title":"FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-04T20:57:42.179788Z"},"links":{"citing_paper":"/paper/2509.08276"},"observation_digest":"sha256:a6c73894f31c785eee1ba18d5a5070c4780490004115d25cbce64ee0ee8c6c0e","observation_id":"f89bee0a-f839-4f01-8ff9-e8cc2319b8ed","resolution":{"observed_at":"2026-08-04T20:57:42.745081Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3491246","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"ACM Transactions on Quantum Computing3(3), 13:1–13:17 (2022)","venue":"ACM Transactions on Quantum Computing","work_id":"8dc42190-cbe9-4d47-a741-956dcbdb1975","year":2022},"citing_paper":{"arxiv_id":"2509.08276","last_updated":"2025-09-10T04:29:09Z","snapshot_observed_at":"2026-08-04T20:57:35.997981Z","submitted_at":"2025-09-10T04:29:09Z","title":"FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-04T20:57:42.201692Z"},"links":{"citing_paper":"/paper/2509.08276"},"observation_digest":"sha256:835285db42711d2473502beee45635eb1db8e168a4b78deb77bc44617deabdc0","observation_id":"463c2b8b-c660-47e7-a460-e6bde216a9a8","resolution":{"observed_at":"2026-08-04T20:57:42.265537Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1911.12691","last_updated":"2019-11-28T13:03:44Z","snapshot_observed_at":"2026-07-06T08:40:39.015024Z","submitted_at":"2019-11-28T13:03:44Z","title":"How to Efficiently Handle Complex Values? Implementing Decision Diagrams for Quantum Computing","version":1},"cited_work":{"arxiv_id":"1911.12691","doi":null,"metadata_source":"pith","pith_arxiv_id":"1911.12691","snapshot_observed_at":"2026-08-04T20:57:42.485074Z","title":"How to Efficiently Handle Complex Values? Implementing Decision Diagrams for Quantum Computing","venue":"quant-ph","work_id":"e313e04e-4a39-42fa-b332-243316b27e22","year":2019},"citing_paper":{"arxiv_id":"2509.08276","last_updated":"2025-09-10T04:29:09Z","snapshot_observed_at":"2026-08-04T20:57:35.997981Z","submitted_at":"2025-09-10T04:29:09Z","title":"FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams","version":1},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-04T20:57:42.220521Z"},"links":{"cited_paper":"/paper/1911.12691","citing_paper":"/paper/2509.08276"},"observation_digest":"sha256:7a688945bcab5236825aac19551eded17fa3a2b349b85c18e8c033994adfb7dc","observation_id":"bb895057-0513-4be8-a11c-9e7e8dcf24ab","resolution":{"observed_at":"2026-08-04T20:57:42.489622Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2018.28344","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T20:57:42.469346Z","title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems38(5), 848–859 (2019)","venue":null,"work_id":"b59d0e4d-1954-4b53-a668-63c672278e82","year":2019},"citing_paper":{"arxiv_id":"2509.08276","last_updated":"2025-09-10T04:29:09Z","snapshot_observed_at":"2026-08-04T20:57:35.997981Z","submitted_at":"2025-09-10T04:29:09Z","title":"FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams","version":1},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-04T20:57:42.233581Z"},"links":{"citing_paper":"/paper/2509.08276"},"observation_digest":"sha256:537c98d941575ee111aad69fc52dceef67bd87da2fdd829bb0a1c03377ace9a8","observation_id":"864d07c0-7ee7-4fa5-8eb9-b01cdd851657","resolution":{"observed_at":"2026-08-04T20:57:42.474617Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2509.08276","last_updated":"2025-09-10T04:29:09Z","latest_version":1,"primary_category":"quant-ph","snapshot_observed_at":"2026-08-04T20:57:35.997981Z","submitted_at":"2025-09-10T04:29:09Z","title":"FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams"},"reference_resolution":{"displayed":63,"state_counts":{"malformed_identifier":3,"metadata_mismatch":11,"parse_uncertain":0,"unresolved":29,"verified_exact":10,"verified_fuzzy":10},"total_outbound_references":63},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"thesis":"As of 10 August 2026, this Paper Citation Record lists 63 of 63 outbound references and 0 inbound Pith citation observations for arXiv:2509.08276."}