{"as_of":"2026-08-22T19:45:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:9eabe8d39f9ec7eee58553415b532810f938b68af1cea5527191210192072474","coverage":[{"denominator":21,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":21,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-19T18:47:27.413870Z","state":"measured"},{"denominator":21,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":21,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-22T06:32:14.747728+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/2605.15552/citation-record","integrity":"/paper/2605.15552/integrity","json":"/paper/2605.15552/citation-record.json","paper":"/paper/2605.15552"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"5382.10753","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Reps, and Mihalis Yannakakis","venue":null,"work_id":"ecb306ee-6d8f-4c84-a028-100c1ce36787","year":2005},"citing_paper":{"arxiv_id":"2605.15552","last_updated":"2026-05-15T02:45:02Z","snapshot_observed_at":"2026-08-16T12:15:29.512447Z","submitted_at":"2026-05-15T02:45:02Z","title":"Do CFLOBDDs Actually Make Use of Linear Structure?","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-05-19T18:47:27.413870Z"},"links":{"citing_paper":"/paper/2605.15552"},"observation_digest":"sha256:7ff5476306424f9826ef30185af08b5a6d585790e842a98d706be09f773ed125","observation_id":"5f7e5f17-8b6a-4c14-8d23-b36334401ed0","resolution":{"observed_at":"2026-05-19T18:47:43.083818Z","resolver_source":"arxiv_id","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"268cef0d-b9aa-4517-bb05-1976a8a8f1cb","year":2009},"citing_paper":{"arxiv_id":"2605.15552","last_updated":"2026-05-15T02:45:02Z","snapshot_observed_at":"2026-08-16T12:15:29.512447Z","submitted_at":"2026-05-15T02:45:02Z","title":"Do CFLOBDDs Actually Make Use of Linear Structure?","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-05-19T18:47:27.413870Z"},"links":{"citing_paper":"/paper/2605.15552"},"observation_digest":"sha256:ae2f75fe4c81687fbfbc53922e82049540b7e480301217da512f59cd8d9eaef9","observation_id":"876e3efe-7b3b-4631-8f76-d0b6dcf7cab7","resolution":{"observed_at":"2026-05-19T18:47:43.254890Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"c5ce85d8-8779-473d-bbad-a42f58949ea0","year":1995},"citing_paper":{"arxiv_id":"2605.15552","last_updated":"2026-05-15T02:45:02Z","snapshot_observed_at":"2026-08-16T12:15:29.512447Z","submitted_at":"2026-05-15T02:45:02Z","title":"Do CFLOBDDs Actually Make Use of Linear Structure?","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-05-19T18:47:27.413870Z"},"links":{"citing_paper":"/paper/2605.15552"},"observation_digest":"sha256:3e1cb2291f33d55a683f25534dec10dbfe2edd6f729e675a43f1d450401727b9","observation_id":"dfe17e33-0eb8-4d20-a0c8-bd6c89b14008","resolution":{"observed_at":"2026-05-19T18:47:43.272648Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-06-05T21:23:00.469572Z","title":"Iris Bahar, Erica A","venue":null,"work_id":"0fdc3b47-6496-4e21-8744-fc5f6cfd4df1","year":null},"citing_paper":{"arxiv_id":"2605.15552","last_updated":"2026-05-15T02:45:02Z","snapshot_observed_at":"2026-08-16T12:15:29.512447Z","submitted_at":"2026-05-15T02:45:02Z","title":"Do CFLOBDDs Actually Make Use of Linear Structure?","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-05-19T18:47:27.413870Z"},"links":{"citing_paper":"/paper/2605.15552"},"observation_digest":"sha256:5861750035ccea5093c4b26744b6831e9af932f1d7d56ae866698f34c92b1fe8","observation_id":"34c0bd33-9a9b-463b-a6ba-e3972b98d80b","resolution":{"observed_at":"2026-05-19T18:47:43.283322Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1023/a:1008699807402","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Des.10, 2/3 (1997), 171–206","venue":"Formal Methods in System Design","work_id":"380584b7-f7dd-4277-8ad1-134bc579dce7","year":1997},"citing_paper":{"arxiv_id":"2605.15552","last_updated":"2026-05-15T02:45:02Z","snapshot_observed_at":"2026-08-16T12:15:29.512447Z","submitted_at":"2026-05-15T02:45:02Z","title":"Do CFLOBDDs Actually Make Use of Linear Structure?","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-05-19T18:47:27.413870Z"},"links":{"citing_paper":"/paper/2605.15552"},"observation_digest":"sha256:c78c343b1ba92ff81c2aa484c8246aca22a66cc7ba620cbc71fe1c4bc28602d0","observation_id":"f161006a-85df-4811-b195-f959b3648818","resolution":{"observed_at":"2026-05-19T18:47:42.901590Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-05-24T12:24:14.367137+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-24T12:24:14.367137+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-22T06:32:06.552537+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-06-05T21:23:00.469572Z","title":"Brace, Richard L","venue":null,"work_id":"7ba2dd49-0c37-4700-8361-4b8429a06b8a","year":1991},"citing_paper":{"arxiv_id":"2605.15552","last_updated":"2026-05-15T02:45:02Z","snapshot_observed_at":"2026-08-16T12:15:29.512447Z","submitted_at":"2026-05-15T02:45:02Z","title":"Do CFLOBDDs Actually Make Use of Linear Structure?","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-05-19T18:47:27.413870Z"},"links":{"citing_paper":"/paper/2605.15552"},"observation_digest":"sha256:d9f6f9a8c09bc89bf9973ec13239ac7ac65775a0ebb08c3a8f6ae51c8286aaef","observation_id":"43dbb635-2a68-4f70-9b52-475a0ce7783e","resolution":{"observed_at":"2026-05-19T18:47:43.270946Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"d78ede9d-9edd-44bf-a721-1865d974acf1","year":1986},"citing_paper":{"arxiv_id":"2605.15552","last_updated":"2026-05-15T02:45:02Z","snapshot_observed_at":"2026-08-16T12:15:29.512447Z","submitted_at":"2026-05-15T02:45:02Z","title":"Do CFLOBDDs Actually Make Use of Linear Structure?","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-05-19T18:47:27.413870Z"},"links":{"citing_paper":"/paper/2605.15552"},"observation_digest":"sha256:942971448b13f60cf23287164ddd88121e4591bdb35947085a0757618f4b3262","observation_id":"f85bb65a-e86f-480f-8f06-606607020088","resolution":{"observed_at":"2026-05-19T18:47:43.258449Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-06-05T21:23:00.469572Z","title":"Bryant and Yirng-An Chen","venue":null,"work_id":"aa46716a-4a50-4d54-a23b-79a0d60bd7c5","year":1995},"citing_paper":{"arxiv_id":"2605.15552","last_updated":"2026-05-15T02:45:02Z","snapshot_observed_at":"2026-08-16T12:15:29.512447Z","submitted_at":"2026-05-15T02:45:02Z","title":"Do CFLOBDDs Actually Make Use of Linear Structure?","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-05-19T18:47:27.413870Z"},"links":{"citing_paper":"/paper/2605.15552"},"observation_digest":"sha256:438111b67860cc1fbffe41eaa2a578e7be2113620545b63052beb3f4a62b0a0a","observation_id":"15cd0f38-283a-4dde-925b-514d1efd2829","resolution":{"observed_at":"2026-05-19T18:47:43.276242Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-06-05T21:23:00.469572Z","title":"Clarke, Masahiro Fujita, and Xudong Zhao","venue":null,"work_id":"c7e0a6f4-68ea-4286-b694-b74d2a05750b","year":1995},"citing_paper":{"arxiv_id":"2605.15552","last_updated":"2026-05-15T02:45:02Z","snapshot_observed_at":"2026-08-16T12:15:29.512447Z","submitted_at":"2026-05-15T02:45:02Z","title":"Do CFLOBDDs Actually Make Use of Linear Structure?","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-05-19T18:47:27.413870Z"},"links":{"citing_paper":"/paper/2605.15552"},"observation_digest":"sha256:6ed8ddf78f082e281722d7fe6d4b06edfdc300d3a6774ba15e994019a1287e8a","observation_id":"5775d4b2-c322-41a2-86ee-2f9475bc64e5","resolution":{"observed_at":"2026-05-19T18:47:43.269128Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-06-05T21:23:00.469572Z","title":"Clarke, Kenneth L","venue":null,"work_id":"da77a3e3-cb0c-4535-a9ca-bddd15a2f450","year":1993},"citing_paper":{"arxiv_id":"2605.15552","last_updated":"2026-05-15T02:45:02Z","snapshot_observed_at":"2026-08-16T12:15:29.512447Z","submitted_at":"2026-05-15T02:45:02Z","title":"Do CFLOBDDs Actually Make Use of Linear Structure?","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-05-19T18:47:27.413870Z"},"links":{"citing_paper":"/paper/2605.15552"},"observation_digest":"sha256:622b50ae535a57f92ca0a975ea8520ab3efec677b675a20c61480cac3758e627","observation_id":"9aa0628f-e056-4e6c-95b0-92290f607083","resolution":{"observed_at":"2026-05-19T18:47:43.277958Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"7ecc2643-65c0-4694-8c0c-2c57c7bf71cc","year":2008},"citing_paper":{"arxiv_id":"2605.15552","last_updated":"2026-05-15T02:45:02Z","snapshot_observed_at":"2026-08-16T12:15:29.512447Z","submitted_at":"2026-05-15T02:45:02Z","title":"Do CFLOBDDs Actually Make Use of Linear Structure?","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-05-19T18:47:27.413870Z"},"links":{"citing_paper":"/paper/2605.15552"},"observation_digest":"sha256:ff3daa97ebd32bd431697462280ab39d5c6b908be16d727e00769723f20897b7","observation_id":"d49e8ee7-e0ea-4129-bde7-ca6081d33ceb","resolution":{"observed_at":"2026-05-19T18:47:43.260689Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"e7066237-25df-4f8f-a851-ee27628804f0","year":2011},"citing_paper":{"arxiv_id":"2605.15552","last_updated":"2026-05-15T02:45:02Z","snapshot_observed_at":"2026-08-16T12:15:29.512447Z","submitted_at":"2026-05-15T02:45:02Z","title":"Do CFLOBDDs Actually Make Use of Linear Structure?","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-05-19T18:47:27.413870Z"},"links":{"citing_paper":"/paper/2605.15552"},"observation_digest":"sha256:7790a0545b180ce6144dbf8b252d32b3479e271722f7a5ffca9195b0494dba1c","observation_id":"d116d524-adce-42f0-b6f0-e5d43d31e076","resolution":{"observed_at":"2026-05-19T18:47:43.264429Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"8bb7f54e-1fde-46bd-b196-07c9544b7286","year":2016},"citing_paper":{"arxiv_id":"2605.15552","last_updated":"2026-05-15T02:45:02Z","snapshot_observed_at":"2026-08-16T12:15:29.512447Z","submitted_at":"2026-05-15T02:45:02Z","title":"Do CFLOBDDs Actually Make Use of Linear Structure?","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-05-19T18:47:27.413870Z"},"links":{"citing_paper":"/paper/2605.15552"},"observation_digest":"sha256:8badffabc3680e4cc9b878a5d64016d6a3c7e3ec3cabf6aa906c819c03149f99","observation_id":"3b46815f-5dbe-44e8-8350-4c74d73ee614","resolution":{"observed_at":"2026-05-19T18:47:43.279757Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-06-05T21:23:00.469572Z","title":"Bitner, Magdy S","venue":null,"work_id":"418e1bc3-5a33-4241-9f2e-e8795a1bc885","year":1997},"citing_paper":{"arxiv_id":"2605.15552","last_updated":"2026-05-15T02:45:02Z","snapshot_observed_at":"2026-08-16T12:15:29.512447Z","submitted_at":"2026-05-15T02:45:02Z","title":"Do CFLOBDDs Actually Make Use of Linear Structure?","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-05-19T18:47:27.413870Z"},"links":{"citing_paper":"/paper/2605.15552"},"observation_digest":"sha256:6b7d99ea8625e93479aebfdf56d8fd08a3a8f28d1af8737ed0eeb6b6dfcd0217","observation_id":"f1bf252f-5bbe-4368-b07f-ca2b0ee517d4","resolution":{"observed_at":"2026-05-19T18:47:43.281434Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"41441fbc-79d9-44f3-a993-ad886f712494","year":1994},"citing_paper":{"arxiv_id":"2605.15552","last_updated":"2026-05-15T02:45:02Z","snapshot_observed_at":"2026-08-16T12:15:29.512447Z","submitted_at":"2026-05-15T02:45:02Z","title":"Do CFLOBDDs Actually Make Use of Linear Structure?","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-05-19T18:47:27.413870Z"},"links":{"citing_paper":"/paper/2605.15552"},"observation_digest":"sha256:7576d3272962fa9c41b8a4595da63603841e7b279712289d82c91e126aae43ea","observation_id":"32266c44-f783-4819-8ca2-faae99922a8e","resolution":{"observed_at":"2026-05-19T18:47:43.256725Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2004.02502","last_updated":"2020-04-06T09:18:19Z","snapshot_observed_at":"2026-08-11T19:03:38.115200Z","submitted_at":"2020-04-06T09:18:19Z","title":"Variable Shift SDD: A More Succinct Sentential Decision Diagram","version":1},"cited_work":{"arxiv_id":"2004.02502","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2004.02502","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"b912153b-2a86-4b6c-828e-d8b0e9128b4a","year":2020},"citing_paper":{"arxiv_id":"2605.15552","last_updated":"2026-05-15T02:45:02Z","snapshot_observed_at":"2026-08-16T12:15:29.512447Z","submitted_at":"2026-05-15T02:45:02Z","title":"Do CFLOBDDs Actually Make Use of Linear Structure?","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-05-19T18:47:27.413870Z"},"links":{"cited_paper":"/paper/2004.02502","citing_paper":"/paper/2605.15552"},"observation_digest":"sha256:393e929760eb57b85bb3f6559bdd0bbb8418755fe6fb3fc4bc508bbfe7cbf87d","observation_id":"e0412ac6-57b4-4d50-864e-06be1984364b","resolution":{"observed_at":"2026-05-19T18:47:43.080583Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-06-05T21:23:00.469572Z","title":"Sistla, S","venue":null,"work_id":"cd7e3af7-40fc-401c-9265-329d4d16e765","year":2023},"citing_paper":{"arxiv_id":"2605.15552","last_updated":"2026-05-15T02:45:02Z","snapshot_observed_at":"2026-08-16T12:15:29.512447Z","submitted_at":"2026-05-15T02:45:02Z","title":"Do CFLOBDDs Actually Make Use of Linear Structure?","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-05-19T18:47:27.413870Z"},"links":{"citing_paper":"/paper/2605.15552"},"observation_digest":"sha256:3f46c9e956a2353506b2e5478f59a6566961590f41fafd2301991bdb70dcde03","observation_id":"836d4cea-aa08-4fff-9f01-2c0c2c6a0b88","resolution":{"observed_at":"2026-05-19T18:47:43.266835Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3651157","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"ACM Transactions on Programming Languages and Systems","work_id":"21617ab0-23e9-48ed-ad93-e22833ba301a","year":2024},"citing_paper":{"arxiv_id":"2605.15552","last_updated":"2026-05-15T02:45:02Z","snapshot_observed_at":"2026-08-16T12:15:29.512447Z","submitted_at":"2026-05-15T02:45:02Z","title":"Do CFLOBDDs Actually Make Use of Linear Structure?","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-05-19T18:47:27.413870Z"},"links":{"citing_paper":"/paper/2605.15552"},"observation_digest":"sha256:cffc1fdc88966b608bad5fd009ad0c19bb3aa3e006bf5bf5f65a23742e750fa2","observation_id":"f9026fe2-c9a5-4e69-b2c2-441640592231","resolution":{"observed_at":"2026-05-19T18:47:42.895967Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-05-24T12:24:14.925186+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-24T12:24:14.925186+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2305.13610","last_updated":"2024-08-28T19:06:27Z","snapshot_observed_at":"2026-08-16T15:30:50.815371Z","submitted_at":"2023-05-23T02:16:52Z","title":"Weighted Context-Free-Language Ordered Binary Decision Diagrams","version":2},"cited_work":{"arxiv_id":"2305.13610","doi":"10.48550/arxiv.2305.13610","metadata_source":"arxiv_reference","pith_arxiv_id":"2305.13610","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"arXiv (Cornell University)","work_id":"5ae83ce2-e847-4e99-abd8-4e0145702aa8","year":2023},"citing_paper":{"arxiv_id":"2605.15552","last_updated":"2026-05-15T02:45:02Z","snapshot_observed_at":"2026-08-16T12:15:29.512447Z","submitted_at":"2026-05-15T02:45:02Z","title":"Do CFLOBDDs Actually Make Use of Linear Structure?","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-05-19T18:47:27.413870Z"},"links":{"cited_paper":"/paper/2305.13610","citing_paper":"/paper/2605.15552"},"observation_digest":"sha256:7627267a823d967da8f48f1a57d9434cb5a2634abcf135d3456d7e35d63004cc","observation_id":"5076697a-6d21-437b-ac5e-a65f2b7b6cbe","resolution":{"observed_at":"2026-05-19T18:47:42.885360Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-05-24T12:24:15.337202+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-24T12:24:15.337202+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-22T06:32:06.552537+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-06-05T21:23:00.469572Z","title":"2000.Branching Programs and Binary Decision Diagrams","venue":null,"work_id":"21256a12-ce1f-4c22-bc6a-63751580334f","year":2000},"citing_paper":{"arxiv_id":"2605.15552","last_updated":"2026-05-15T02:45:02Z","snapshot_observed_at":"2026-08-16T12:15:29.512447Z","submitted_at":"2026-05-15T02:45:02Z","title":"Do CFLOBDDs Actually Make Use of Linear Structure?","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-05-19T18:47:27.413870Z"},"links":{"citing_paper":"/paper/2605.15552"},"observation_digest":"sha256:47084b78e79946a9faaef4fb7a6b5e686f1c442a664baab74b05fb6e1d79482f","observation_id":"a9c08b64-4df6-4db0-8767-5151765fb16c","resolution":{"observed_at":"2026-05-19T18:47:43.274498Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-06-05T21:23:00.469572Z","title":"2020.Introducing Design Automation for Quantum Computing","venue":null,"work_id":"3ea47bda-8dcf-4cc7-9f2e-1319f7fdf1e2","year":2020},"citing_paper":{"arxiv_id":"2605.15552","last_updated":"2026-05-15T02:45:02Z","snapshot_observed_at":"2026-08-16T12:15:29.512447Z","submitted_at":"2026-05-15T02:45:02Z","title":"Do CFLOBDDs Actually Make Use of Linear Structure?","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-05-19T18:47:27.413870Z"},"links":{"citing_paper":"/paper/2605.15552"},"observation_digest":"sha256:fdbdb332e4ec1bc848e57e87270a89168d8d76a7c71f7c403f99a121a897ca6c","observation_id":"7239832b-4fbe-43b7-8b65-689cf0d121b6","resolution":{"observed_at":"2026-05-19T18:47:43.262643Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2605.15552","last_updated":"2026-05-15T02:45:02Z","latest_version":1,"primary_category":"cs.FL","snapshot_observed_at":"2026-08-16T12:15:29.512447Z","submitted_at":"2026-05-15T02:45:02Z","title":"Do CFLOBDDs Actually Make Use of Linear Structure?"},"reference_resolution":{"displayed":21,"state_counts":{"malformed_identifier":1,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":7,"verified_exact":4,"verified_fuzzy":9},"total_outbound_references":21},"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-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"thesis":"As of 22 August 2026, this Paper Citation Record lists 21 of 21 outbound references and 0 inbound Pith citation observations for arXiv:2605.15552."}