Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-14T13:01:11.211960Z
Paper Citation Record · LEDGER
Knowledge Compilation for Boolean Functional Synthesis
As of 16 August 2026, this Paper Citation Record lists 39 of 39 outbound references and 0 inbound Pith citation observations for arXiv:1908.06275.
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-16T06:30:59.297886+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
39 of 39 outbound references displayed
- verified exact1
- verified fuzzy21
- unresolved17
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation badca91e-216f-4eae-b7bb-d12b30bdd775 · outbound
This paper cites Akshay, Supratik Chakraborty, Shubham Goel, Sumith K ulal, and Shetal Shah.
Knowledge Compilation for Boolean Functional Synthesis Akshay, Supratik Chakraborty, Shubham Goel, Sumith K ulal, and Shetal Shah
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T13:01:11.801098Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation cf46a2d6-8a4c-4273-874e-a670a0bea1c9 · outbound
This paper cites Akshay, Supratik Chakraborty, Ajith K.
Knowledge Compilation for Boolean Functional Synthesis Akshay, Supratik Chakraborty, Ajith K
Reference 2
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T13:01:11.785786Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 3de259a9-a1db-4e77-af1d-1b3574b438c0 · outbound
This paper cites an unresolved cited work.
Knowledge Compilation for Boolean Functional Synthesis Unresolved cited work
Reference 3
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T13:01:11.772131Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 2879ff1c-dd7d-4a97-bfc4-0c8b5dd35ab4 · outbound
This paper cites an unresolved cited work.
Knowledge Compilation for Boolean Functional Synthesis Unresolved cited work
Reference 4
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T13:01:11.756052Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 8ad9337f-b55b-4dfe-9864-6fa94372fc12 · outbound
This paper cites an unresolved cited work.
Knowledge Compilation for Boolean Functional Synthesis Unresolved cited work
Reference 5
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T13:01:11.735156Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 85e7ab34-24dc-41db-8197-32e01f01b7a8 · outbound
This paper cites an unresolved cited work.
Knowledge Compilation for Boolean Functional Synthesis Unresolved cited work
Reference 6
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T13:01:11.716353Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 47659f49-1a35-427c-ba7c-1c3abe385eea · outbound
This paper cites Tabajara, an d Moshe Y.
Knowledge Compilation for Boolean Functional Synthesis Tabajara, an d Moshe Y
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T13:01:11.701918Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation a5c7de9b-1c9f-4a71-8986-d7a9f77dab05 · outbound
This paper cites Decomposable negation normal form.
Knowledge Compilation for Boolean Functional Synthesis Decomposable negation normal form
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T13:01:11.688165Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation e6dd8d67-68fe-4abd-a4a9-0e051072aadc · outbound
This paper cites A Knowledge Compilation Map.
Knowledge Compilation for Boolean Functional Synthesis A Knowledge Compilation Map
Reference 10
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T13:01:11.084601Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a634bf8c-8927-47da-a6fe-f962e6dcb232 · outbound
This paper cites Tabajara, and Moshe Y.
Knowledge Compilation for Boolean Functional Synthesis Tabajara, and Moshe Y
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T13:01:11.674578Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation a9323544-a41e-460e-b6ff-eabb9cfebc53 · outbound
This paper cites an unresolved cited work.
Knowledge Compilation for Boolean Functional Synthesis Unresolved cited work
Reference 12
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T13:01:11.661471Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation e76f3ffd-e6c8-4b0a-8679-4df7cffb4368 · outbound
This paper cites an unresolved cited work.
Knowledge Compilation for Boolean Functional Synthesis Unresolved cited work
Reference 13
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T13:01:11.643829Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 56073749-88d3-4a7d-a926-8d4c0003caf7 · outbound
This paper cites an unresolved cited work.
Knowledge Compilation for Boolean Functional Synthesis Unresolved cited work
Reference 14
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T13:01:11.624102Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 4eea9b16-a579-4a3b-b50e-31e51a1397a2 · outbound
This paper cites Kuncak, M.
Knowledge Compilation for Boolean Functional Synthesis Kuncak, M
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T13:01:11.610783Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 9e09423e-3077-4ff9-9d6a-eb7459a68c60 · outbound
This paper cites Propositional Independence - Formula-Variable Independence and Forgetting.
Knowledge Compilation for Boolean Functional Synthesis Propositional Independence - Formula-Variable Independence and Forgetting
Reference 16
- Resolution
- verified exact
- local_arxiv, observed 2026-08-14T13:01:11.252199Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation d07f0cf5-de6f-4140-b31e-be5c5dc5728f · outbound
This paper cites Lowenheim.
Knowledge Compilation for Boolean Functional Synthesis Lowenheim
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T13:01:11.598234Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 9af3253f-9c51-402a-a43a-0e9712dde2db · outbound
This paper cites Efficient Ex traction of Skolem Functions from QRA T Proofs.
Knowledge Compilation for Boolean Functional Synthesis Efficient Ex traction of Skolem Functions from QRA T Proofs
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T13:01:11.583850Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 97a1746f-d288-4d5a-90b3-843ba0b863f5 · outbound
This paper cites Moskewicz, Conor F.
Knowledge Compilation for Boolean Functional Synthesis Moskewicz, Conor F
Reference 19
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T13:01:11.567055Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 17ec9efe-048a-47f3-b116-4f391867edb4 · outbound
This paper cites McIlraith, J.
Knowledge Compilation for Boolean Functional Synthesis McIlraith, J
Reference 20
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T13:01:11.552242Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 294e4203-6b64-4459-b916-b9c4c3771b3d · outbound
This paper cites QBFEval 2018.
Knowledge Compilation for Boolean Functional Synthesis QBFEval 2018
Reference 21
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T13:01:11.534798Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 2923b4db-a197-4f25-b123-3368ade981c6 · outbound
This paper cites an unresolved cited work.
Knowledge Compilation for Boolean Functional Synthesis Unresolved cited work
Reference 22
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T13:01:11.519822Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 6e721d39-3f64-4f61-be14-982c2bbcd4c0 · outbound
This paper cites an unresolved cited work.
Knowledge Compilation for Boolean Functional Synthesis Unresolved cited work
Reference 23
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T13:01:11.506893Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation bf5d2599-0b74-46cb-a97c-c38219492876 · outbound
This paper cites Rabe, Leander Tentrup, Cameron Rasmussen, an d Sanjit A.
Knowledge Compilation for Boolean Functional Synthesis Rabe, Leander Tentrup, Cameron Rasmussen, an d Sanjit A
Reference 24
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T13:01:11.494398Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 46f7744c-f890-4c34-891e-67e111b772b1 · outbound
This paper cites Tabajara and Moshe Y.
Knowledge Compilation for Boolean Functional Synthesis Tabajara and Moshe Y
Reference 25
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T13:01:11.481391Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 0f327540-43dd-46d8-95ec-f55d22f66954 · outbound
This paper cites an unresolved cited work.
Knowledge Compilation for Boolean Functional Synthesis Unresolved cited work
Reference 26
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T13:01:11.468379Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 7a6fd277-2e94-44bd-953c-ba13c5e91927 · outbound
This paper cites an unresolved cited work.
Knowledge Compilation for Boolean Functional Synthesis Unresolved cited work
Reference 27
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T13:01:11.456205Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 78a4085f-fe72-4561-90a3-3a5df08b07b0 · outbound
This paper cites an unresolved cited work.
Knowledge Compilation for Boolean Functional Synthesis Unresolved cited work
Reference 28
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T13:01:11.444554Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 7457118b-6a2b-4d61-b196-eaf9bec586bd · outbound
This paper cites an unresolved cited work.
Knowledge Compilation for Boolean Functional Synthesis Unresolved cited work
Reference 29
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T13:01:11.432416Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 69b9c712-d912-4f3f-81f9-153c4d6be0be · outbound
This paper cites Note that in this case, we cannot use the sufficient conditio n as above, clearly,x1, x1 meet at a ∧ in [ˆg]1.
Knowledge Compilation for Boolean Functional Synthesis Note that in this case, we cannot use the sufficient conditio n as above, clearly,x1, x1 meet at a ∧ in [ˆg]1
Reference 30
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T13:01:11.418458Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 1994aca9-abb3-4957-889b-0a671adabb58 · outbound
This paper cites an unresolved cited work.
Knowledge Compilation for Boolean Functional Synthesis Unresolved cited work
Reference 31
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T13:01:11.404145Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation ce881af2-a234-4491-a84c-30aa3352752d · outbound
This paper cites an unresolved cited work.
Knowledge Compilation for Boolean Functional Synthesis Unresolved cited work
Reference 32
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T13:01:11.389951Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 782fd26b-a759-46d2-ac40-9c35d2896f95 · outbound
This paper cites negative) unate in xi ∈ X, then xi ∧F |xi=1 (resp.
Knowledge Compilation for Boolean Functional Synthesis negative) unate in xi ∈ X, then xi ∧F |xi=1 (resp
Reference 33
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T13:01:11.373796Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation a0d6241f-61cc-4e20-ab5f-67deb61c8fab · outbound
This paper cites b) (~F1 ∧ ~ F2) ≼ syn (F1 ∧F2) if the output supports of F1 and F2, and similarly of ~ F1 and ~ F2, are disjoint.
Knowledge Compilation for Boolean Functional Synthesis b) (~F1 ∧ ~ F2) ≼ syn (F1 ∧F2) if the output supports of F1 and F2, and similarly of ~ F1 and ~ F2, are disjoint
Reference 34
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T13:01:11.361019Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation d1223e95-314f-4c7e-a05c-8fb76a371c1d · outbound
This paper cites Then F is semantically independent of Y and ∀YF (π ↓ X, Y) = 1 holds.
Knowledge Compilation for Boolean Functional Synthesis Then F is semantically independent of Y and ∀YF (π ↓ X, Y) = 1 holds
Reference 35
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T13:01:11.347736Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation dfe8fe9d-7abf-47a9-b4df-d1315b26e391 · outbound
This paper cites Then F is semantically independent of X.
Knowledge Compilation for Boolean Functional Synthesis Then F is semantically independent of X
Reference 36
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T13:01:11.332817Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation c52c8067-c379-4458-ae30-a0e0d50fff62 · outbound
This paper cites It follows that F ⇔ (¬xi∧F |xi=0)∨(x∧F |xi =1) ⇒F |xi=1.
Knowledge Compilation for Boolean Functional Synthesis It follows that F ⇔ (¬xi∧F |xi=0)∨(x∧F |xi =1) ⇒F |xi=1
Reference 37
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T13:01:11.319608Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 889bab67-cdf0-46a7-8c03-62691f3f05f1 · outbound
This paper cites a) Since ∃X (F1(X, Y) ∨F2(X, Y)) ⇔ (∃XF1(X, Y) ∨ ∃XF2(X, Y)) and ∃X ( ~F1(X, Y) ∨ ~F2(X, Y) ) ⇔( ∃X~F1(X, Y) ∨ ∃X~F2(X, Y) ) , condition (a) of Definition 4 follows immediately.
Knowledge Compilation for Boolean Functional Synthesis a) Since ∃X (F1(X, Y) ∨F2(X, Y)) ⇔ (∃XF1(X, Y) ∨ ∃XF2(X, Y)) and ∃X ( ~F1(X, Y) ∨ ~F2(X, Y) ) ⇔( ∃X~F1(X, Y) ∨ ∃X~F2(X, Y) ) , condition (a) of Definition 4 follows immediately
Reference 38
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T13:01:11.305602Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 989a1a03-858c-40d0-97e1-2361d2156506 · outbound
This paper cites an unresolved cited work.
Knowledge Compilation for Boolean Functional Synthesis Unresolved cited work
Reference 39
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T13:01:11.291148Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation e3eb8ae1-650c-4252-aa24-aa86d29480df · outbound
This paper cites Similarly, if θF,T,xi,1 is a tautology, then (¬xi ∧F |xi=0) ≼ syn F.
Knowledge Compilation for Boolean Functional Synthesis Similarly, if θF,T,xi,1 is a tautology, then (¬xi ∧F |xi=0) ≼ syn F
Reference 40
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T13:01:11.278153Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Pith citing papers
No inbound Pith citation observations are available.