{"as_of":"2026-08-09T19:49:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:a684bfda712f0dfff2c6af621f5304aa4dd2e6977ec4ea7ae4f1298299fc0b8b","coverage":[{"denominator":40,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":40,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T10:10:04.861170Z","state":"measured"},{"denominator":41,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":41,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-09T06:31:02.800959+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-23T03:48:14.372407Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"arxiv_reference","source_observed_at":"2026-05-23T03:52:29.587229Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2508.00514","last_updated":"2025-08-01T10:48:52Z","snapshot_observed_at":"2026-08-09T14:23:39.345096Z","submitted_at":"2025-08-01T10:48:52Z","title":"Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing","version":1},"cited_work":{"arxiv_id":"2508.00514","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2508.00514","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Brand and A","venue":null,"work_id":"3f0288da-3736-419c-bbbd-fd46e6da2c51","year":2025},"citing_paper":{"arxiv_id":"2502.04271","last_updated":"2026-01-07T20:30:04Z","snapshot_observed_at":"2026-07-06T20:32:23.502480Z","submitted_at":"2025-02-06T18:09:08Z","title":"Variational decision diagrams for quantum-inspired machine learning applications","version":3},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-05-23T03:48:14.372407Z"},"links":{"cited_paper":"/paper/2508.00514","citing_paper":"/paper/2502.04271"},"observation_digest":"sha256:03f5224bcc3dea4c7f803514113c101208fbcc309d943e804b47d4fa0a29a7cb","observation_id":"3902df8b-5ea5-4c6b-b847-d6c8dcec3875","resolution":{"observed_at":"2026-05-23T03:52:29.590091Z","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"}}],"links":{"evidence":"/evidence","html":"/paper/2508.00514/citation-record","integrity":"/paper/2508.00514/integrity","json":"/paper/2508.00514/citation-record.json","paper":"/paper/2508.00514"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T10:10:22.712790Z","title":"In: Proceedings of the forty- second ACM symposium on Theory of computing","venue":null,"work_id":"419ebd52-ce7f-4c96-becc-1bb34b7ec298","year":2010},"citing_paper":{"arxiv_id":"2508.00514","last_updated":"2025-08-01T10:48:52Z","snapshot_observed_at":"2026-08-09T14:23:39.345096Z","submitted_at":"2025-08-01T10:48:52Z","title":"Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-06T10:10:04.714776Z"},"links":{"citing_paper":"/paper/2508.00514"},"observation_digest":"sha256:eeda8d670b815b6f085b238c3d9f94afb13a1804792cdd328efe158e2f822f38","observation_id":"4996591e-f5ee-43ee-82ac-eb15be660461","resolution":{"observed_at":"2026-08-06T10:10:22.716243Z","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-06T10:10:22.701760Z","title":"In: International Conference on Computa- tional Science","venue":null,"work_id":"77e9c6f1-d647-48b4-990d-eca3654ef536","year":2024},"citing_paper":{"arxiv_id":"2508.00514","last_updated":"2025-08-01T10:48:52Z","snapshot_observed_at":"2026-08-09T14:23:39.345096Z","submitted_at":"2025-08-01T10:48:52Z","title":"Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-06T10:10:04.720256Z"},"links":{"citing_paper":"/paper/2508.00514"},"observation_digest":"sha256:71774e1a3427ac10470cc22c235d79c7403679947c6d6cfe7fa1e12c136e8951","observation_id":"91f8285c-ac9e-4f34-a421-38bbf296f3df","resolution":{"observed_at":"2026-08-06T10:10:22.705334Z","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-06T10:10:22.692388Z","title":"IEEE Transactions on TCAD40(9), 1810–1824 (2020)","venue":null,"work_id":"c160e2d2-f6f8-4bbd-9fc9-6df93c97af17","year":2020},"citing_paper":{"arxiv_id":"2508.00514","last_updated":"2025-08-01T10:48:52Z","snapshot_observed_at":"2026-08-09T14:23:39.345096Z","submitted_at":"2025-08-01T10:48:52Z","title":"Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-06T10:10:04.723950Z"},"links":{"citing_paper":"/paper/2508.00514"},"observation_digest":"sha256:d08803e9279b9426559247c5def7a47f909cd1441596680dfcf30cad98d5b307","observation_id":"05a7c36f-24a8-4885-9f2a-6085fc235a7e","resolution":{"observed_at":"2026-08-06T10:10:22.695486Z","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-06T10:10:22.682752Z","title":"Chemical reviews119(19), 10856–10915 (2019)","venue":null,"work_id":"4aaeefd8-f2ec-4329-aa1e-58f41f918e2a","year":2019},"citing_paper":{"arxiv_id":"2508.00514","last_updated":"2025-08-01T10:48:52Z","snapshot_observed_at":"2026-08-09T14:23:39.345096Z","submitted_at":"2025-08-01T10:48:52Z","title":"Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-06T10:10:04.728057Z"},"links":{"citing_paper":"/paper/2508.00514"},"observation_digest":"sha256:2b5fbc87f1560d06748bdd4c5b88b7c04167aa89105a2bb8816aa57474879c3d","observation_id":"572fd491-9b94-476e-bfaa-4284f18ccaaa","resolution":{"observed_at":"2026-08-06T10:10:22.686090Z","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":"1707.03429","last_updated":"2017-07-13T21:23:15Z","snapshot_observed_at":"2026-07-06T05:50:42.132417Z","submitted_at":"2017-07-11T18:49:44Z","title":"Open Quantum Assembly Language","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1707.03429","snapshot_observed_at":"2026-08-06T10:10:04.732770Z","title":"arXiv preprint arXiv:1707.03429 (2017)","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2508.00514","last_updated":"2025-08-01T10:48:52Z","snapshot_observed_at":"2026-08-09T14:23:39.345096Z","submitted_at":"2025-08-01T10:48:52Z","title":"Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-06T10:10:04.732770Z"},"links":{"cited_paper":"/paper/1707.03429","citing_paper":"/paper/2508.00514"},"observation_digest":"sha256:0731d994cae29b008fad1f41ccadd83695c479b9a122f29aa463692d2a925698","observation_id":"75163590-0b91-4b97-af70-1fb13147847a","resolution":{"observed_at":"2026-08-06T10:10:04.732770Z","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-06T10:10:04.736912Z","title":null,"venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2508.00514","last_updated":"2025-08-01T10:48:52Z","snapshot_observed_at":"2026-08-09T14:23:39.345096Z","submitted_at":"2025-08-01T10:48:52Z","title":"Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-06T10:10:04.736912Z"},"links":{"citing_paper":"/paper/2508.00514"},"observation_digest":"sha256:5492f02bac158d4a1bf06bab736e3778cd3a89a219ea0e9bcf42138e27533438","observation_id":"daa86376-847b-470a-8eee-3f1f62d523ae","resolution":{"observed_at":"2026-08-06T10:10:04.736912Z","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-06T10:10:22.672480Z","title":"Electronic Notes in Theoretical Computer Science 296, 127–143 (2013)","venue":null,"work_id":"8ff15fda-55a3-43d9-b88e-97406e3a5b61","year":2013},"citing_paper":{"arxiv_id":"2508.00514","last_updated":"2025-08-01T10:48:52Z","snapshot_observed_at":"2026-08-09T14:23:39.345096Z","submitted_at":"2025-08-01T10:48:52Z","title":"Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-06T10:10:04.741762Z"},"links":{"citing_paper":"/paper/2508.00514"},"observation_digest":"sha256:e99b89c0e0966471a0ffbbebdcc269ddc839a58b17103eef96400b1e7bdd1840","observation_id":"05223a26-01f2-4568-8914-47b60e15a5f0","resolution":{"observed_at":"2026-08-06T10:10:22.676496Z","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-06T10:10:22.662869Z","title":"STTT 19, 675–696 (2017)","venue":null,"work_id":"d5b80d71-4437-43dd-a088-03be6482d17d","year":2017},"citing_paper":{"arxiv_id":"2508.00514","last_updated":"2025-08-01T10:48:52Z","snapshot_observed_at":"2026-08-09T14:23:39.345096Z","submitted_at":"2025-08-01T10:48:52Z","title":"Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-06T10:10:04.745735Z"},"links":{"citing_paper":"/paper/2508.00514"},"observation_digest":"sha256:60c6a7f482b391065cba3db634475edbcbf06ffd6c2a24375c0132813ee5000f","observation_id":"7f688788-379a-4728-9cc0-89bce249a119","resolution":{"observed_at":"2026-08-06T10:10:22.666138Z","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-06T10:10:22.652686Z","title":"In: Euro-Par 2014: Parallel Processing Workshops: Euro-Par 2014 International Workshops, Porto, Portugal, August 25-26, 2014, Revised Selected Papers, Part II","venue":null,"work_id":"f8466a17-7785-471d-b449-eb694c3f6b21","year":2014},"citing_paper":{"arxiv_id":"2508.00514","last_updated":"2025-08-01T10:48:52Z","snapshot_observed_at":"2026-08-09T14:23:39.345096Z","submitted_at":"2025-08-01T10:48:52Z","title":"Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-06T10:10:04.749791Z"},"links":{"citing_paper":"/paper/2508.00514"},"observation_digest":"sha256:5f72862ac70a62edb1c7b1d33cdbb7e2dbd1173d02ed53592c42f7440f826a84","observation_id":"2d41c5bf-20e9-4262-8fe8-4ec1fa397435","resolution":{"observed_at":"2026-08-06T10:10:22.656621Z","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-06T10:10:22.631860Z","title":"Proceedings of the AAAI Conference on Artificial Intelligence 28(1) (2014)","venue":null,"work_id":"654f0719-7c90-4e87-82d1-3fc8745a2b58","year":2014},"citing_paper":{"arxiv_id":"2508.00514","last_updated":"2025-08-01T10:48:52Z","snapshot_observed_at":"2026-08-09T14:23:39.345096Z","submitted_at":"2025-08-01T10:48:52Z","title":"Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-06T10:10:04.757065Z"},"links":{"citing_paper":"/paper/2508.00514"},"observation_digest":"sha256:6c24e6a3354e06c6ad3ce2e2d12c0200c07cda65fd4f2f2059a38ae0851803c2","observation_id":"0afdfde2-b77e-483d-9e7b-183701b4fb5c","resolution":{"observed_at":"2026-08-06T10:10:22.635447Z","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-06T10:10:22.621744Z","title":"Formal methods in system design 10, 149–169 (1997)","venue":null,"work_id":"a2765a75-92ef-40fb-b224-1f407bc552da","year":1997},"citing_paper":{"arxiv_id":"2508.00514","last_updated":"2025-08-01T10:48:52Z","snapshot_observed_at":"2026-08-09T14:23:39.345096Z","submitted_at":"2025-08-01T10:48:52Z","title":"Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-06T10:10:04.760644Z"},"links":{"citing_paper":"/paper/2508.00514"},"observation_digest":"sha256:41dfa75ffae89fe941cbdbdcc11994c91005d2168af8ba3e1724f742692f8716","observation_id":"42481aff-72e8-4bf1-9f3f-521eb4cc0b12","resolution":{"observed_at":"2026-08-06T10:10:22.625232Z","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-06T10:10:22.611554Z","title":"IEEE Transactions on Quantum Engineering2, 1–17 (2021)","venue":null,"work_id":"1c10eb45-2a24-4849-a3ba-6a1f6eb3c920","year":2021},"citing_paper":{"arxiv_id":"2508.00514","last_updated":"2025-08-01T10:48:52Z","snapshot_observed_at":"2026-08-09T14:23:39.345096Z","submitted_at":"2025-08-01T10:48:52Z","title":"Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-06T10:10:04.765186Z"},"links":{"citing_paper":"/paper/2508.00514"},"observation_digest":"sha256:029aa87dd9f18db15b565528b1b73603ace2cb190e07fe801e8bca5a127ab7b9","observation_id":"56f5390c-74f6-4be3-b753-3a1f8ccf170f","resolution":{"observed_at":"2026-08-06T10:10:22.614855Z","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-06T10:10:22.601261Z","title":"In: 2020 25th Asia and South Pacific Design Automation Conference (ASP-DAC)","venue":null,"work_id":"a94c0a78-4aa7-4473-ba17-a346090c3c5b","year":2020},"citing_paper":{"arxiv_id":"2508.00514","last_updated":"2025-08-01T10:48:52Z","snapshot_observed_at":"2026-08-09T14:23:39.345096Z","submitted_at":"2025-08-01T10:48:52Z","title":"Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-06T10:10:04.768507Z"},"links":{"citing_paper":"/paper/2508.00514"},"observation_digest":"sha256:3dbaffb978b99721e1472deb2da898d45f9d43fe230d14c40a6f5ef77b2882e3","observation_id":"b2ef4d33-74e6-4980-b3ef-5288729b03fa","resolution":{"observed_at":"2026-08-06T10:10:22.604863Z","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-06T10:10:04.771890Z","title":"arXiv preprint arXiv:2504.01168 (2025)","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2508.00514","last_updated":"2025-08-01T10:48:52Z","snapshot_observed_at":"2026-08-09T14:23:39.345096Z","submitted_at":"2025-08-01T10:48:52Z","title":"Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-06T10:10:04.771890Z"},"links":{"citing_paper":"/paper/2508.00514"},"observation_digest":"sha256:80ea14edd88c2fef1edfe5eea0b9e7ca762f9b317ecb4bc9d9a5e4264cb511b2","observation_id":"4c2b7218-b7f4-44da-9b09-c647c4418be9","resolution":{"observed_at":"2026-08-06T10:10:04.771890Z","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-06T10:10:22.590260Z","title":"Science377(6613) (2022)","venue":null,"work_id":"2707bced-8a20-4957-b465-fdad19a2c74a","year":2022},"citing_paper":{"arxiv_id":"2508.00514","last_updated":"2025-08-01T10:48:52Z","snapshot_observed_at":"2026-08-09T14:23:39.345096Z","submitted_at":"2025-08-01T10:48:52Z","title":"Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-06T10:10:04.775417Z"},"links":{"citing_paper":"/paper/2508.00514"},"observation_digest":"sha256:1a0ed9fe4d7e6e4bf9fb0efc2cc3b256b15dcaf409af12dce2111088244b948f","observation_id":"c7706d19-214b-4698-8c0c-88fb157a0a92","resolution":{"observed_at":"2026-08-06T10:10:22.594028Z","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-06T10:10:22.579709Z","title":"Non-identity-check","venue":null,"work_id":"b0e885a2-2e68-4eba-a273-4ea56f83e517","year":2005},"citing_paper":{"arxiv_id":"2508.00514","last_updated":"2025-08-01T10:48:52Z","snapshot_observed_at":"2026-08-09T14:23:39.345096Z","submitted_at":"2025-08-01T10:48:52Z","title":"Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-06T10:10:04.779637Z"},"links":{"citing_paper":"/paper/2508.00514"},"observation_digest":"sha256:c5430db2f90f5251f0d0592b7b8c6f63cf3d17f3252d91ffab87d6bc8760f4cc","observation_id":"38e0243a-7fa6-4368-beb0-bf23cff8c6f2","resolution":{"observed_at":"2026-08-06T10:10:22.583169Z","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":"0906.5416","last_updated":"2009-06-30T06:11:22Z","snapshot_observed_at":"2026-07-06T01:55:43.757873Z","submitted_at":"2009-06-30T06:11:22Z","title":"Non-Identity Check Remains QMA-Complete for Short Circuits","version":1},"cited_work":{"arxiv_id":"0906.5416","doi":null,"metadata_source":"pith","pith_arxiv_id":"0906.5416","snapshot_observed_at":"2026-08-06T10:10:04.900245Z","title":"Non-Identity Check Remains QMA-Complete for Short Circuits","venue":"quant-ph","work_id":"f7efba0a-562c-4724-a8ff-aed852e4e24f","year":2009},"citing_paper":{"arxiv_id":"2508.00514","last_updated":"2025-08-01T10:48:52Z","snapshot_observed_at":"2026-08-09T14:23:39.345096Z","submitted_at":"2025-08-01T10:48:52Z","title":"Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-06T10:10:04.783577Z"},"links":{"cited_paper":"/paper/0906.5416","citing_paper":"/paper/2508.00514"},"observation_digest":"sha256:ee30c9bb981c2fbdfee986342fa17a8395f1cdbf47c67f3fe64dbaec16453608","observation_id":"4c43ebd4-9d99-4484-83a7-ff7444ab2ebb","resolution":{"observed_at":"2026-08-06T10:10:04.906070Z","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":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T10:10:22.568482Z","title":"Russian Mathematical Surveys 52(6), 1191 (1997)","venue":null,"work_id":"f7f4bd20-1671-447c-8080-edced9835f66","year":1997},"citing_paper":{"arxiv_id":"2508.00514","last_updated":"2025-08-01T10:48:52Z","snapshot_observed_at":"2026-08-09T14:23:39.345096Z","submitted_at":"2025-08-01T10:48:52Z","title":"Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-06T10:10:04.787326Z"},"links":{"citing_paper":"/paper/2508.00514"},"observation_digest":"sha256:e44d45606970900b9d809a35c350cb86e854035820ac7a85de619b3520087fd9","observation_id":"c0cb7f87-fbf7-4566-97c5-9a8da8985a10","resolution":{"observed_at":"2026-08-06T10:10:22.572395Z","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-06T10:10:22.556998Z","title":"In: Formal Methods in Computer Aided Design","venue":null,"work_id":"496ea679-ed7a-4fe3-8af5-05bf4893b9d2","year":2010},"citing_paper":{"arxiv_id":"2508.00514","last_updated":"2025-08-01T10:48:52Z","snapshot_observed_at":"2026-08-09T14:23:39.345096Z","submitted_at":"2025-08-01T10:48:52Z","title":"Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-06T10:10:04.790349Z"},"links":{"citing_paper":"/paper/2508.00514"},"observation_digest":"sha256:1b2ba2fe55bc14589c06ea787a02677c795d4e54c7ffaea43f328a9bf56a2b52","observation_id":"d8b39d16-1746-4129-a129-fd324e583fe6","resolution":{"observed_at":"2026-08-06T10:10:22.561694Z","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-06T10:10:22.641795Z","title":null,"venue":null,"work_id":"64a0c6b5-03b2-4d11-8292-2f195704240b","year":2014},"citing_paper":{"arxiv_id":"2508.00514","last_updated":"2025-08-01T10:48:52Z","snapshot_observed_at":"2026-08-09T14:23:39.345096Z","submitted_at":"2025-08-01T10:48:52Z","title":"Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-06T10:10:04.753342Z"},"links":{"citing_paper":"/paper/2508.00514"},"observation_digest":"sha256:1c1013445c40bf5fad50a15b34923365da65100b56419cb07f117fe52e32a70d","observation_id":"a45fa82b-274c-4da1-9c3d-53e67476d8dd","resolution":{"observed_at":"2026-08-06T10:10:22.645501Z","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-06T10:10:22.546821Z","title":"IEEE Transactions on Quantum Engineering (2024)","venue":null,"work_id":"661d9f1f-43a0-4ec1-8d9a-2c030765c188","year":2024},"citing_paper":{"arxiv_id":"2508.00514","last_updated":"2025-08-01T10:48:52Z","snapshot_observed_at":"2026-08-09T14:23:39.345096Z","submitted_at":"2025-08-01T10:48:52Z","title":"Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-06T10:10:04.793299Z"},"links":{"citing_paper":"/paper/2508.00514"},"observation_digest":"sha256:74bbdedbbeec9ec8d7c6f9cc83a43fd7f83ff7f03b37a5f72210ce5762b9656f","observation_id":"d0649299-2dbe-4385-a0b2-a873eafd17ad","resolution":{"observed_at":"2026-08-06T10:10:22.550554Z","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-06T10:10:22.536037Z","title":"In: Proceedings of the 30th international design automation conference","venue":null,"work_id":"0bc2f123-e471-45d0-9cf5-51417476f0b5","year":1993},"citing_paper":{"arxiv_id":"2508.00514","last_updated":"2025-08-01T10:48:52Z","snapshot_observed_at":"2026-08-09T14:23:39.345096Z","submitted_at":"2025-08-01T10:48:52Z","title":"Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-06T10:10:04.796348Z"},"links":{"citing_paper":"/paper/2508.00514"},"observation_digest":"sha256:fcff0f2e205dec3e27985ce77c58da92025ae4570e7aa8b4d1b8f1331e48c18c","observation_id":"6f61138a-5a91-405c-ac27-3358e70ae7dd","resolution":{"observed_at":"2026-08-06T10:10:22.539879Z","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-06T10:10:22.525883Z","title":"In: International Joint Conference on Automated Reasoning","venue":null,"work_id":"6bebcf81-b15f-4cd7-bcc5-0fd0a9d5266d","year":2024},"citing_paper":{"arxiv_id":"2508.00514","last_updated":"2025-08-01T10:48:52Z","snapshot_observed_at":"2026-08-09T14:23:39.345096Z","submitted_at":"2025-08-01T10:48:52Z","title":"Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-06T10:10:04.799633Z"},"links":{"citing_paper":"/paper/2508.00514"},"observation_digest":"sha256:0e8ed2d482214c7ef61b2aafb76e9a0af8f7adb4f364f81c5a6b95fb34a072aa","observation_id":"1520077c-a71b-4cae-9890-a48a71fe5af0","resolution":{"observed_at":"2026-08-06T10:10:22.529429Z","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-06T10:10:22.515803Z","title":"In: 36th International Symposium on Multiple-Valued Logic (ISMVL’06)","venue":null,"work_id":"ebf6882b-c6b2-44dc-89aa-ccddb2e94f50","year":2006},"citing_paper":{"arxiv_id":"2508.00514","last_updated":"2025-08-01T10:48:52Z","snapshot_observed_at":"2026-08-09T14:23:39.345096Z","submitted_at":"2025-08-01T10:48:52Z","title":"Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-06T10:10:04.802789Z"},"links":{"citing_paper":"/paper/2508.00514"},"observation_digest":"sha256:348d1d8a797c7cff9bdef0e7511290263ec766dd1e964d1f01bb300b46396b47","observation_id":"35152a43-7d4a-480f-816b-886a6f690970","resolution":{"observed_at":"2026-08-06T10:10:22.519155Z","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-06T10:10:22.506062Z","title":"IEEE TCAD 39(12), 4657–4668 (2020)","venue":null,"work_id":"8f7a20c3-2c0f-4e15-9e8b-e39b7301b756","year":2020},"citing_paper":{"arxiv_id":"2508.00514","last_updated":"2025-08-01T10:48:52Z","snapshot_observed_at":"2026-08-09T14:23:39.345096Z","submitted_at":"2025-08-01T10:48:52Z","title":"Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-06T10:10:04.806591Z"},"links":{"citing_paper":"/paper/2508.00514"},"observation_digest":"sha256:2720feedcf77e2809d0d7c3b4d97fdaa73418b95cc42a1b583b05facc01660fe","observation_id":"bff33aaf-dbb9-4adc-8119-3344f1c5b97a","resolution":{"observed_at":"2026-08-06T10:10:22.509698Z","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-06T10:10:22.494776Z","title":"Reviews in Physics4, 100028 (2019)","venue":null,"work_id":"e4296db4-b27a-4306-aaa6-6a6b9bb73658","year":2019},"citing_paper":{"arxiv_id":"2508.00514","last_updated":"2025-08-01T10:48:52Z","snapshot_observed_at":"2026-08-09T14:23:39.345096Z","submitted_at":"2025-08-01T10:48:52Z","title":"Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-06T10:10:04.809709Z"},"links":{"citing_paper":"/paper/2508.00514"},"observation_digest":"sha256:4aaf56e3c3ece2bf231495e861b6fafd4e4f6e26613e59abfd87567186d054a0","observation_id":"548e5726-a7a5-4748-87c3-4ef7b2f0d907","resolution":{"observed_at":"2026-08-06T10:10:22.498946Z","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-06T10:10:22.484014Z","title":"Quantum (2023), MQT Bench is available at https://www.cda.cit.tum.de/mqtbench/","venue":null,"work_id":"a4adb022-fd87-4af5-ac86-8b3fce06a56f","year":2023},"citing_paper":{"arxiv_id":"2508.00514","last_updated":"2025-08-01T10:48:52Z","snapshot_observed_at":"2026-08-09T14:23:39.345096Z","submitted_at":"2025-08-01T10:48:52Z","title":"Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-06T10:10:04.813221Z"},"links":{"citing_paper":"/paper/2508.00514"},"observation_digest":"sha256:82410bc14463081f5812999b353829a72e719ff17e433b38383e6584c1d25853","observation_id":"c53cc2f0-5c63-4305-9d6c-837d1d6a00f3","resolution":{"observed_at":"2026-08-06T10:10:22.488082Z","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-06T10:10:22.473198Z","title":"In: European Symposium on Algorithms","venue":null,"work_id":"4b1e8341-70ac-4d57-b7de-51ef746aabf7","year":2008},"citing_paper":{"arxiv_id":"2508.00514","last_updated":"2025-08-01T10:48:52Z","snapshot_observed_at":"2026-08-09T14:23:39.345096Z","submitted_at":"2025-08-01T10:48:52Z","title":"Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-06T10:10:04.817075Z"},"links":{"citing_paper":"/paper/2508.00514"},"observation_digest":"sha256:5bc6530af35d240813154ec08eb4167fa3c33421f0fcbb67a35fa5adf4c80130","observation_id":"ae3f2dd3-d459-45b0-83cb-0a933a9f55c5","resolution":{"observed_at":"2026-08-06T10:10:22.476719Z","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":"1212.6253","last_updated":"2014-07-29T14:03:34Z","snapshot_observed_at":"2026-07-06T03:02:51.507561Z","submitted_at":"2012-12-26T20:52:00Z","title":"Efficient Clifford+T approximation of single-qubit operators","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1212.6253","snapshot_observed_at":"2026-08-06T10:10:04.820608Z","title":"arXiv preprint arXiv:1212.6253 (2012)","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2508.00514","last_updated":"2025-08-01T10:48:52Z","snapshot_observed_at":"2026-08-09T14:23:39.345096Z","submitted_at":"2025-08-01T10:48:52Z","title":"Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-06T10:10:04.820608Z"},"links":{"cited_paper":"/paper/1212.6253","citing_paper":"/paper/2508.00514"},"observation_digest":"sha256:2f45da88e0ddbdabacbe439e6837c9b2562ea37e13de69bc5298788d31657656","observation_id":"d5f36e18-cc2b-4709-a391-6513c2e94ecc","resolution":{"observed_at":"2026-08-06T10:10:04.820608Z","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-06T10:10:22.462808Z","title":"In: FOCS","venue":null,"work_id":"964e7d78-6c3e-4704-98e8-86212952b3a0","year":1994},"citing_paper":{"arxiv_id":"2508.00514","last_updated":"2025-08-01T10:48:52Z","snapshot_observed_at":"2026-08-09T14:23:39.345096Z","submitted_at":"2025-08-01T10:48:52Z","title":"Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-06T10:10:04.824927Z"},"links":{"citing_paper":"/paper/2508.00514"},"observation_digest":"sha256:13551fb12177373887741fcf426f13c8ee5e4edd4b735574d3316a0154650f68","observation_id":"3dbe50e3-5654-4c55-8571-43f93a86a5f0","resolution":{"observed_at":"2026-08-06T10:10:22.466364Z","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-06T10:10:22.452046Z","title":null,"venue":null,"work_id":"5893ac61-9db0-4848-b870-a219afe231dd","year":2023},"citing_paper":{"arxiv_id":"2508.00514","last_updated":"2025-08-01T10:48:52Z","snapshot_observed_at":"2026-08-09T14:23:39.345096Z","submitted_at":"2025-08-01T10:48:52Z","title":"Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-06T10:10:04.829342Z"},"links":{"citing_paper":"/paper/2508.00514"},"observation_digest":"sha256:6c82c00ece40faa5ae0fcc9caf92ad8cb380b0bff7f169dbe6d7355d0de033e3","observation_id":"f8e73a8e-00c7-4621-bd64-686c795a60f6","resolution":{"observed_at":"2026-08-06T10:10:22.455479Z","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-06T10:10:22.440039Z","title":"Formal Methods in System Design10, 243–270 (1997)","venue":null,"work_id":"cc469c01-cb81-4047-986f-e18f8e56b2f9","year":1997},"citing_paper":{"arxiv_id":"2508.00514","last_updated":"2025-08-01T10:48:52Z","snapshot_observed_at":"2026-08-09T14:23:39.345096Z","submitted_at":"2025-08-01T10:48:52Z","title":"Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-06T10:10:04.832531Z"},"links":{"citing_paper":"/paper/2508.00514"},"observation_digest":"sha256:4cb7af7fc42626b2a51349a2e55af96c5732905cbce1717ea8a13c434bb6cf0e","observation_id":"2711a934-2f4a-4687-b6c8-3704a0d7d3bb","resolution":{"observed_at":"2026-08-06T10:10:22.443962Z","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-06T10:10:22.428965Z","title":"International Journal of Quantum Information 8(05), 807–819 (2010)","venue":null,"work_id":"cc9dd0cc-c330-4fe1-a7b6-71443925fdb0","year":2010},"citing_paper":{"arxiv_id":"2508.00514","last_updated":"2025-08-01T10:48:52Z","snapshot_observed_at":"2026-08-09T14:23:39.345096Z","submitted_at":"2025-08-01T10:48:52Z","title":"Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-06T10:10:04.835915Z"},"links":{"citing_paper":"/paper/2508.00514"},"observation_digest":"sha256:917730f2655894df535a07d587460a48ba14d8fb9abbc693e097bfd516e629a2","observation_id":"cd424f12-8b61-497d-9094-e2a81e7858b1","resolution":{"observed_at":"2026-08-06T10:10:22.432745Z","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-06T10:10:22.418343Z","title":"In: International Symposium on Automated Technology for Verification and Analysis","venue":null,"work_id":"11b128a2-352c-4c26-8114-3cfc083cb901","year":2023},"citing_paper":{"arxiv_id":"2508.00514","last_updated":"2025-08-01T10:48:52Z","snapshot_observed_at":"2026-08-09T14:23:39.345096Z","submitted_at":"2025-08-01T10:48:52Z","title":"Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-06T10:10:04.839714Z"},"links":{"citing_paper":"/paper/2508.00514"},"observation_digest":"sha256:f8ba41f79808a0e749b6074aa0e9e086711c5fab31b0f40be2a001dc6e7f1d90","observation_id":"c8c3a736-a545-4d30-a9db-ede0ca95fc0e","resolution":{"observed_at":"2026-08-06T10:10:22.421975Z","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-06T10:10:22.407175Z","title":"In: 2021 58th ACM/IEEE Design Automation Conference (DAC)","venue":null,"work_id":"316bc852-5771-4360-87ff-3c1ed20abdb8","year":2021},"citing_paper":{"arxiv_id":"2508.00514","last_updated":"2025-08-01T10:48:52Z","snapshot_observed_at":"2026-08-09T14:23:39.345096Z","submitted_at":"2025-08-01T10:48:52Z","title":"Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-06T10:10:04.843149Z"},"links":{"citing_paper":"/paper/2508.00514"},"observation_digest":"sha256:b7df8ad2778c36995291c975fdd98da5876ca7bacca2370d798c9cb4690ef212","observation_id":"0452975f-dbd1-4f9e-b0af-fc8d8ae7c5ae","resolution":{"observed_at":"2026-08-06T10:10:22.411012Z","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-06T10:10:22.394923Z","title":"In: Proceedings Design, Automation and Test in Europe Conference and Exhibition","venue":null,"work_id":"7baab618-2713-419e-9b99-835474de42d5","year":2004},"citing_paper":{"arxiv_id":"2508.00514","last_updated":"2025-08-01T10:48:52Z","snapshot_observed_at":"2026-08-09T14:23:39.345096Z","submitted_at":"2025-08-01T10:48:52Z","title":"Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-06T10:10:04.846540Z"},"links":{"citing_paper":"/paper/2508.00514"},"observation_digest":"sha256:e80e4249d53b885284f890929f92371c03afd395c52dacaf5b411571f86ad5f4","observation_id":"59616061-2e33-434f-98c7-ca6fae89e4bf","resolution":{"observed_at":"2026-08-06T10:10:22.399215Z","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-06T10:10:22.383408Z","title":"Quantum 7, 1108 (2023)","venue":null,"work_id":"5800b15a-b8bf-4706-9c39-2ad314d49c1e","year":2023},"citing_paper":{"arxiv_id":"2508.00514","last_updated":"2025-08-01T10:48:52Z","snapshot_observed_at":"2026-08-09T14:23:39.345096Z","submitted_at":"2025-08-01T10:48:52Z","title":"Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-06T10:10:04.850439Z"},"links":{"citing_paper":"/paper/2508.00514"},"observation_digest":"sha256:1a35b06b94a2655580ff288941240754fbbe0b8c378f2247c25519a995bc29e0","observation_id":"46dcf4f6-a944-4379-9553-d185f8bee2c7","resolution":{"observed_at":"2026-08-06T10:10:22.386701Z","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-06T10:10:22.372791Z","title":"In: International Symposium on Model Checking Software","venue":null,"work_id":"388c1915-6368-4a62-a17e-7017c9543508","year":2023},"citing_paper":{"arxiv_id":"2508.00514","last_updated":"2025-08-01T10:48:52Z","snapshot_observed_at":"2026-08-09T14:23:39.345096Z","submitted_at":"2025-08-01T10:48:52Z","title":"Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-06T10:10:04.853880Z"},"links":{"citing_paper":"/paper/2508.00514"},"observation_digest":"sha256:a924e16f976069c8c9cca82ae023734f7fdb16dd78d85e8490f6d3a61a0ba703","observation_id":"d52230f0-59f2-4826-9d0c-57e31d5b476f","resolution":{"observed_at":"2026-08-06T10:10:22.376385Z","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-06T10:10:22.361081Z","title":"In: Proceedings of the 59th Design Automation Conference","venue":null,"work_id":"7f582b68-1447-4040-839f-8bf440457db3","year":2022},"citing_paper":{"arxiv_id":"2508.00514","last_updated":"2025-08-01T10:48:52Z","snapshot_observed_at":"2026-08-09T14:23:39.345096Z","submitted_at":"2025-08-01T10:48:52Z","title":"Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-06T10:10:04.857562Z"},"links":{"citing_paper":"/paper/2508.00514"},"observation_digest":"sha256:7d4a6f45224235a56c81c06a4ecd49f4d4053ff5e379d4ee144b7cccced98eca","observation_id":"e4945006-1e95-4fcc-af5e-0d929fbad400","resolution":{"observed_at":"2026-08-06T10:10:22.365385Z","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-06T10:10:22.349873Z","title":"-” indicates an out-of- memory termination, and “×","venue":null,"work_id":"a4d84a7d-14ba-47e3-9813-dd92908648b8","year":2018},"citing_paper":{"arxiv_id":"2508.00514","last_updated":"2025-08-01T10:48:52Z","snapshot_observed_at":"2026-08-09T14:23:39.345096Z","submitted_at":"2025-08-01T10:48:52Z","title":"Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-06T10:10:04.861170Z"},"links":{"citing_paper":"/paper/2508.00514"},"observation_digest":"sha256:6cc4bfbaba1aed7be0e9b88fab26ed93cd768579a80711a08aadffafdef13ff3","observation_id":"c07da7a2-1c08-4951-9c3b-5b8099d960ca","resolution":{"observed_at":"2026-08-06T10:10:22.353828Z","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"}}],"paper":{"arxiv_id":"2508.00514","last_updated":"2025-08-01T10:48:52Z","latest_version":1,"primary_category":"quant-ph","snapshot_observed_at":"2026-08-09T14:23:39.345096Z","submitted_at":"2025-08-01T10:48:52Z","title":"Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing"},"reference_resolution":{"displayed":40,"state_counts":{"malformed_identifier":1,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":6,"verified_exact":0,"verified_fuzzy":32},"total_outbound_references":40},"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 40 of 40 outbound references and 1 inbound Pith citation observation for arXiv:2508.00514."}