Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-05-19T18:47:27.413870Z
Paper Citation Record · LEDGER
Do CFLOBDDs Actually Make Use of Linear Structure?
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.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-22T06:32:14.747728+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
21 of 21 outbound references displayed
- verified exact4
- verified fuzzy9
- unresolved7
- parse uncertain0
- malformed identifier1
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 5f7e5f17-8b6a-4c14-8d23-b36334401ed0 · outbound
This paper cites Reps, and Mihalis Yannakakis.
Do CFLOBDDs Actually Make Use of Linear Structure? Reps, and Mihalis Yannakakis
Reference 1
- Resolution
- malformed identifier
- arxiv_id, observed 2026-05-19T18:47:43.083818Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 876e3efe-7b3b-4631-8f76-d0b6dcf7cab7 · outbound
This paper cites an unresolved cited work.
Do CFLOBDDs Actually Make Use of Linear Structure? Unresolved cited work
Reference 2
- Resolution
- unresolved
- raw_fallback, observed 2026-05-19T18:47:43.254890Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation dfe17e33-0eb8-4d20-a0c8-bd6c89b14008 · outbound
This paper cites an unresolved cited work.
Do CFLOBDDs Actually Make Use of Linear Structure? Unresolved cited work
Reference 3
- Resolution
- unresolved
- raw_fallback, observed 2026-05-19T18:47:43.272648Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 34c0bd33-9a9b-463b-a6ba-e3972b98d80b · outbound
This paper cites Iris Bahar, Erica A.
Do CFLOBDDs Actually Make Use of Linear Structure? Iris Bahar, Erica A
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-19T18:47:43.283322Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation f161006a-85df-4811-b195-f959b3648818 · outbound
This paper cites Des.10, 2/3 (1997), 171–206.
Do CFLOBDDs Actually Make Use of Linear Structure? Des.10, 2/3 (1997), 171–206
Reference 5
- Resolution
- verified exact
- doi, observed 2026-05-19T18:47:42.901590Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 43dbb635-2a68-4f70-9b52-475a0ce7783e · outbound
This paper cites Brace, Richard L.
Do CFLOBDDs Actually Make Use of Linear Structure? Brace, Richard L
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-19T18:47:43.270946Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation f85bb65a-e86f-480f-8f06-606607020088 · outbound
This paper cites an unresolved cited work.
Do CFLOBDDs Actually Make Use of Linear Structure? Unresolved cited work
Reference 7
- Resolution
- unresolved
- raw_fallback, observed 2026-05-19T18:47:43.258449Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 15cd0f38-283a-4dde-925b-514d1efd2829 · outbound
This paper cites Bryant and Yirng-An Chen.
Do CFLOBDDs Actually Make Use of Linear Structure? Bryant and Yirng-An Chen
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-19T18:47:43.276242Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 5775d4b2-c322-41a2-86ee-2f9475bc64e5 · outbound
This paper cites Clarke, Masahiro Fujita, and Xudong Zhao.
Do CFLOBDDs Actually Make Use of Linear Structure? Clarke, Masahiro Fujita, and Xudong Zhao
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-19T18:47:43.269128Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 9aa0628f-e056-4e6c-95b0-92290f607083 · outbound
This paper cites Clarke, Kenneth L.
Do CFLOBDDs Actually Make Use of Linear Structure? Clarke, Kenneth L
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-19T18:47:43.277958Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation d49e8ee7-e0ea-4129-bde7-ca6081d33ceb · outbound
This paper cites an unresolved cited work.
Do CFLOBDDs Actually Make Use of Linear Structure? Unresolved cited work
Reference 11
- Resolution
- unresolved
- raw_fallback, observed 2026-05-19T18:47:43.260689Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation d116d524-adce-42f0-b6f0-e5d43d31e076 · outbound
This paper cites an unresolved cited work.
Do CFLOBDDs Actually Make Use of Linear Structure? Unresolved cited work
Reference 12
- Resolution
- unresolved
- raw_fallback, observed 2026-05-19T18:47:43.264429Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 3b46815f-5dbe-44e8-8350-4c74d73ee614 · outbound
This paper cites an unresolved cited work.
Do CFLOBDDs Actually Make Use of Linear Structure? Unresolved cited work
Reference 13
- Resolution
- unresolved
- raw_fallback, observed 2026-05-19T18:47:43.279757Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation f1bf252f-5bbe-4368-b07f-ca2b0ee517d4 · outbound
This paper cites Bitner, Magdy S.
Do CFLOBDDs Actually Make Use of Linear Structure? Bitner, Magdy S
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-19T18:47:43.281434Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 32266c44-f783-4819-8ca2-faae99922a8e · outbound
This paper cites an unresolved cited work.
Do CFLOBDDs Actually Make Use of Linear Structure? Unresolved cited work
Reference 15
- Resolution
- unresolved
- raw_fallback, observed 2026-05-19T18:47:43.256725Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation e0412ac6-57b4-4d50-864e-06be1984364b · outbound
This paper cites Variable Shift SDD: A More Succinct Sentential Decision Diagram.
Do CFLOBDDs Actually Make Use of Linear Structure? Variable Shift SDD: A More Succinct Sentential Decision Diagram
Reference 16
- Resolution
- verified exact
- arxiv_id, observed 2026-05-19T18:47:43.080583Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 836d4cea-aa08-4fff-9f01-2c0c2c6a0b88 · outbound
This paper cites Sistla, S.
Do CFLOBDDs Actually Make Use of Linear Structure? Sistla, S
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-19T18:47:43.266835Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation f9026fe2-c9a5-4e69-b2c2-441640592231 · outbound
This paper cites an unresolved cited work.
Do CFLOBDDs Actually Make Use of Linear Structure? Unresolved cited work
Reference 19
- Resolution
- verified exact
- doi, observed 2026-05-19T18:47:42.895967Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 5076697a-6d21-437b-ac5e-a65f2b7b6cbe · outbound
This paper cites Weighted Context-Free-Language Ordered Binary Decision Diagrams.
Do CFLOBDDs Actually Make Use of Linear Structure? Weighted Context-Free-Language Ordered Binary Decision Diagrams
Reference 20
- Resolution
- verified exact
- arxiv_id, observed 2026-05-19T18:47:42.885360Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation a9c08b64-4df6-4db0-8767-5151765fb16c · outbound
This paper cites 2000.Branching Programs and Binary Decision Diagrams.
Do CFLOBDDs Actually Make Use of Linear Structure? 2000.Branching Programs and Binary Decision Diagrams
Reference 21
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-19T18:47:43.274498Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 7239832b-4fbe-43b7-8b65-689cf0d121b6 · outbound
This paper cites 2020.Introducing Design Automation for Quantum Computing.
Do CFLOBDDs Actually Make Use of Linear Structure? 2020.Introducing Design Automation for Quantum Computing
Reference 22
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-19T18:47:43.262643Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Pith citing papers
No inbound Pith citation observations are available.