Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-10T16:46:13.786347Z
Paper Citation Record · LEDGER
Certified Knowledge Compilation with Application to Formally Verified Model Counting
As of 20 August 2026, this Paper Citation Record lists 38 of 38 outbound references and 1 inbound Pith citation observation for arXiv:2501.12906.
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-20T06:33:59.587034+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-02T04:46:48.931761Z
A source-named dated measurement, never combined with another source.
Source: pith, observed 2026-08-05T02:28:24.338817Z
Reference resolution
38 of 38 outbound references displayed
- verified exact0
- verified fuzzy22
- unresolved16
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
0
pith, observed 2026-08-05T02:28:24.338817Z
Outbound references
Observation 7466fbc3-1c3c-41ff-8b1d-fcab9ea01db4 · outbound
This paper cites Beame, J.
Certified Knowledge Compilation with Application to Formally Verified Model Counting Beame, J
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T16:46:14.124575Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 31f0dfd7-409f-4fae-a621-af85b2ecc589 · outbound
This paper cites an unresolved cited work.
Certified Knowledge Compilation with Application to Formally Verified Model Counting Unresolved cited work
Reference 2
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T16:46:14.116643Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 9dae89f4-8247-448a-a035-7e86376dab2f · outbound
This paper cites an unresolved cited work.
Certified Knowledge Compilation with Application to Formally Verified Model Counting Unresolved cited work
Reference 3
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T16:46:14.108970Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation b30c3abd-a528-46d1-934f-b1d9af04e86e · outbound
This paper cites an unresolved cited work.
Certified Knowledge Compilation with Application to Formally Verified Model Counting Unresolved cited work
Reference 4
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T16:46:14.101396Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 14a21858-779b-421b-ad56-aa66a9379330 · outbound
This paper cites Capelli, J.-M.
Certified Knowledge Compilation with Application to Formally Verified Model Counting Capelli, J.-M
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T16:46:14.094565Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation fbdd79ee-b6a5-4319-adfd-5c1aac4a34b6 · outbound
This paper cites Cruz-Filipe, M.
Certified Knowledge Compilation with Application to Formally Verified Model Counting Cruz-Filipe, M
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T16:46:14.087870Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 29ecf5ca-7f1f-4816-8d29-84681650daca · outbound
This paper cites Darwiche.
Certified Knowledge Compilation with Application to Formally Verified Model Counting Darwiche
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T16:46:14.081159Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 4a917904-1d72-4a7e-b6e2-334228aa4efc · outbound
This paper cites Darwiche.
Certified Knowledge Compilation with Application to Formally Verified Model Counting Darwiche
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T16:46:14.073551Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation a5ccc120-47ff-48b8-9e97-15d62dd58e46 · outbound
This paper cites Darwiche.
Certified Knowledge Compilation with Application to Formally Verified Model Counting Darwiche
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T16:46:14.065689Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 7f068727-07c9-4b8e-a584-63ac04d83bcd · outbound
This paper cites Darwiche and P.
Certified Knowledge Compilation with Application to Formally Verified Model Counting Darwiche and P
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T16:46:14.057905Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 45c9c404-8a8d-4811-8ace-4ff8d45556d0 · outbound
This paper cites de Moura and S.
Certified Knowledge Compilation with Application to Formally Verified Model Counting de Moura and S
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T16:46:14.049940Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation a748aae2-d9da-40cc-91cc-e9152d5e112d · outbound
This paper cites an unresolved cited work.
Certified Knowledge Compilation with Application to Formally Verified Model Counting Unresolved cited work
Reference 12
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T16:46:14.041860Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation bd003187-2a88-4811-a059-4786ccaecf37 · outbound
This paper cites an unresolved cited work.
Certified Knowledge Compilation with Application to Formally Verified Model Counting Unresolved cited work
Reference 13
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T16:46:14.034031Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 300558ff-9e40-4865-a95c-85ad358951d0 · outbound
This paper cites an unresolved cited work.
Certified Knowledge Compilation with Application to Formally Verified Model Counting Unresolved cited work
Reference 14
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T16:46:14.026193Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 0b42f41a-899d-4ca0-afbd-cbdd63cecc56 · outbound
This paper cites an unresolved cited work.
Certified Knowledge Compilation with Application to Formally Verified Model Counting Unresolved cited work
Reference 15
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T16:46:14.018222Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 8142453f-75fa-4a86-bbcd-aa2c3cd7f05d · outbound
This paper cites an unresolved cited work.
Certified Knowledge Compilation with Application to Formally Verified Model Counting Unresolved cited work
Reference 16
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T16:46:14.010370Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation f2cf7c42-6bbb-404f-8f1a-dedb8d1d7c5f · outbound
This paper cites an unresolved cited work.
Certified Knowledge Compilation with Application to Formally Verified Model Counting Unresolved cited work
Reference 17
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T16:46:14.002252Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation ae9589b8-8c17-4f3a-beae-05cc20c62fef · outbound
This paper cites Huang and A.
Certified Knowledge Compilation with Application to Formally Verified Model Counting Huang and A
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T16:46:13.994361Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation c9a73e42-6c6b-4d9a-a301-7c595ecd8467 · outbound
This paper cites J¨ arvisalo, M.
Certified Knowledge Compilation with Application to Formally Verified Model Counting J¨ arvisalo, M
Reference 19
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T16:46:13.986699Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 68385cdf-a65e-4afd-a012-c816cb752d87 · outbound
This paper cites Kimmig, G.
Certified Knowledge Compilation with Application to Formally Verified Model Counting Kimmig, G
Reference 20
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T16:46:13.979280Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 99a0957a-df2b-43f9-9709-a425b7013410 · outbound
This paper cites Lagniez and P.
Certified Knowledge Compilation with Application to Formally Verified Model Counting Lagniez and P
Reference 21
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T16:46:13.971982Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 93d8a5ee-6b84-4ed5-a09e-ee8330816cf0 · outbound
This paper cites Lagniez and P.
Certified Knowledge Compilation with Application to Formally Verified Model Counting Lagniez and P
Reference 22
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T16:46:13.964368Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation e8bc9e12-903e-4f1f-8d60-f772b679c290 · outbound
This paper cites an unresolved cited work.
Certified Knowledge Compilation with Application to Formally Verified Model Counting Unresolved cited work
Reference 23
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T16:46:13.955886Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 3d847250-bda3-47fd-979f-c8d2cd6d6614 · outbound
This paper cites Limperg and A.
Certified Knowledge Compilation with Application to Formally Verified Model Counting Limperg and A
Reference 24
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T16:46:13.947243Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation a376efcd-ccde-431d-93d6-26b1eb85ddce · outbound
This paper cites Monet and D.
Certified Knowledge Compilation with Application to Formally Verified Model Counting Monet and D
Reference 25
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T16:46:13.938162Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation fe9e710c-fcd4-4494-9f11-ba525026a4db · outbound
This paper cites Muise, S.
Certified Knowledge Compilation with Application to Formally Verified Model Counting Muise, S
Reference 26
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T16:46:13.930119Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation a0192821-89e3-4d29-afa3-68c6254cf129 · outbound
This paper cites Nipkow, L.
Certified Knowledge Compilation with Application to Formally Verified Model Counting Nipkow, L
Reference 27
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T16:46:13.922051Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 1bea2b6e-6487-4c37-9089-f1322850606e · outbound
This paper cites Pollitt, M.
Certified Knowledge Compilation with Application to Formally Verified Model Counting Pollitt, M
Reference 28
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T16:46:13.913805Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation c8848526-6e83-4543-bdd7-02a2df90a0a4 · outbound
This paper cites an unresolved cited work.
Certified Knowledge Compilation with Application to Formally Verified Model Counting Unresolved cited work
Reference 29
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T16:46:13.905250Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 45d07d33-0b83-4852-87bc-90d42e0de337 · outbound
This paper cites an unresolved cited work.
Certified Knowledge Compilation with Application to Formally Verified Model Counting Unresolved cited work
Reference 30
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T16:46:13.896321Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 25cb56ee-bbdc-4fec-80c3-5edcfa23ce60 · outbound
This paper cites an unresolved cited work.
Certified Knowledge Compilation with Application to Formally Verified Model Counting Unresolved cited work
Reference 31
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T16:46:13.887025Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 47f39842-c883-40c2-9dee-5fc6aa236dae · outbound
This paper cites The Coq proof assistant, 2024.
Certified Knowledge Compilation with Application to Formally Verified Model Counting The Coq proof assistant, 2024
Reference 32
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T16:46:13.878229Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 8781961f-da5e-4830-bb8b-871ccf7fc4f8 · outbound
This paper cites an unresolved cited work.
Certified Knowledge Compilation with Application to Formally Verified Model Counting Unresolved cited work
Reference 33
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T16:46:13.868217Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 69a958fc-eebf-491a-be57-cfaeaf566618 · outbound
This paper cites Ullrich and L.
Certified Knowledge Compilation with Application to Formally Verified Model Counting Ullrich and L
Reference 34
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T16:46:13.857590Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 6796c52b-2436-464e-abd4-46950961400f · outbound
This paper cites an unresolved cited work.
Certified Knowledge Compilation with Application to Formally Verified Model Counting Unresolved cited work
Reference 35
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T16:46:13.848454Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation a1eaf860-3673-4f3c-bfba-4c00bcc65fd7 · outbound
This paper cites Van Gelder.
Certified Knowledge Compilation with Application to Formally Verified Model Counting Van Gelder
Reference 36
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T16:46:13.837999Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation e0376f75-b38e-452d-b77d-23e02b1b6770 · outbound
This paper cites an unresolved cited work.
Certified Knowledge Compilation with Application to Formally Verified Model Counting Unresolved cited work
Reference 37
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T16:46:13.827343Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 51a84e48-7736-4420-abce-11aac8c3072f · outbound
This paper cites Zhang and S.
Certified Knowledge Compilation with Application to Formally Verified Model Counting Zhang and S
Reference 38
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T16:46:13.816421Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Pith citing papers
Observation cd9f6d36-4d73-48d7-b6cb-955c203c7d00 · inbound
A Distributed Framework for Compiling and Reasoning with d-DNNF cites this paper.
A Distributed Framework for Compiling and Reasoning with d-DNNF Certified Knowledge Compilation with Application to Formally Verified Model Counting
Reference 63
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-08-02T04:48:26.530863Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.