{"as_of":"2026-08-09T20:51:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:8951e4013d83247b6446d1b658a0d0e0b1e13f1589a59dad54977166fa9280a4","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-09T06:31:02.800959+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:6d94bac01c7182417a1652258f1e58c268b09f5091d6aa0045e5c28a29de5723","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:3ff97500d5bae3512780c2700f854eaf3e956fc87a215447088e940c9592dc30","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:a0b307e62d390460a13ec9cd3649c25f628efdb851a647db804eb604f304f6cc","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:af7ea98174eb73aa0db41d6c5121d3997ebb3fde1758f05832f672ac983f4d95","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:8f6d70693f1c5c3259ad373840f3b891ef68f13431dac297b4019bf9bdb8057e","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:059da37cd80971abc8c227776a663589cb8670a5930e20a13bc82f30fb673bc8","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:99deb5b09e4b05b7b5c8b8e0d5148ccbb51f8eca8bf6141ba5afa16f8dfea26a","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:a429f96b36365aad13829e14377bf67da9a42ff0ca14b47abb7373da5d07180c","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:c3f4b7b551f3080266fc4c2175673bb0eb8a356e18334c9cb1bc11172adc7c5b","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:c3787c4572e3340d0525014627026afc100c39f276f393d431857639d72a78e8","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:854758a3143c3ed78a0cf30f5a5aec9951f5755dbc89ba06c79992af8a7db1ec","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:c1f2dcac68d70b691aa15c59220f80022f645e15555f37df67a1b2cb138efebe","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:dee623e424147541f31723362c8f65dcd2e4ac5e87c360f93fcc7a0f7ace22d8","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:0fd991119ce9a1772bb015350ceaa5fa4c2b10e5fcbcbe557358354341ab262b","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:caeb9e19fed4a369d97c4c4bbb32fb67d55556a608edfb10147cae57c393c5d7","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:461436d10e526c3989a0f236d3429352125ba960672c40d9ebd5dae8b819e8b5","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:c59b40727a61ca99547e262a50d074f9063a3bf81892eec881696bdc5b423567","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:06f81ac59b46a6f3e476724f55947267e950be91a336f922efd0e3700a94b5b3","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:7f6f95f3dc8f977fa581fb012d59e1fa6428d964f49eb3912800d0fdeb2f51ae","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:b568681e253272575c2bcba0864e5befb28617558723605be24fd87d180306b1","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07-06T17:42:57.695380Z","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:d136bc59e083fb10ac658d0a6fb801bb2542f3063abe02913f7eec97c9ffe33a","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:9ed3f933278766ecbde04fa184719884dd6f45cdddaf685eb08a2ae6e2b9c222","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:997b42c6a838e93081964c507964fa702ca5b03d3942c5b516dc31c182bfff9b","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:e21533eca15a1a77efad73704bf997eda8936cd1bfab2f4d11fad5b3d45835af","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:ad9dc39815cb65f40ce12de8b9c32c581b610eb0f19b7c2710795acd490c5acd","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:bc4ac44a92a5e7c305775337a0dffa497d3b3a34dd4217acec808838e36caaaa","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:2853f4d98bff8d6228fb3a2b0f32920246cdd249639e923ed0368ee0b4864f0e","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:68f4b9984bdabb2b695ca46de7f97723a6972bae0bbdf1e11b354c62cd9457ad","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:abce91fdb220504a1b622be303a31550dad636293bcd17ba3e9f615a01303e56","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:89bf7f0415a92cdd3d0f607cc6fe016fb440d953a95ed87e4daa7238256b015c","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:ba39bd91b00efa4fcf9ab3b9062f5525fb1781d81478f210cbba1f0f4d88cb17","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:6d165e7624cddf1ab653cd11dc5a64b7017cfa63d9de5f392676ae42b02b7834","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:d0478c15b8d4bd6a1e09ea763c3fe60e9fd9b2d37c2703b6eacdd16d68d2d7ec","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:a583d5402de42419cbd43c17e5f37142e3db2bd4bd289ff962d76f8fa7587e89","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:411f4cd9ffd0bfc67ee1b6f2156b4046cc3db6d58726cd3e9f52bc63427de360","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:c55fc652956a2daff440754cc1a491af0475e1154a1cc91634821aaf13fe0825","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:b900f6612a9a7493be5c62b232b0c61c6729fd0f6e5722b49830c0ee86fbe514","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:2e3d02cac182b2cdd4063895f4799794bb88ccd7a28e8d6309f954eedfa76d3d","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:938723c38f1e921153c8bd317f4c71bb1110573fdcd1d36a930bb4d9db21ed9c","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"thesis":"As of 9 August 2026, this Paper Citation Record lists 63 of 63 outbound references and 0 inbound Pith citation observations for arXiv:2509.08276."}