Paper Citation Record · LEDGER

Compilation and Fast Model Counting beyond CNF

As of 18 August 2026, this Paper Citation Record lists 13 of 13 outbound references and 0 inbound Pith citation observations for arXiv:2502.00434.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2502.00434 v1

Coverage vector

measured 13 of 13 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-09T19:10:50.159852Z

measured 13 of 13 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-18T06:34:40.430872+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

13 of 13 outbound references displayed

verified exact0
verified fuzzy12
unresolved1
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation fd09880c-c151-46b0-b87d-0669361010e9 · outbound

This paper cites CV-width: A new complexity parameter for CNFs.

Compilation and Fast Model Counting beyond CNF CV-width: A new complexity parameter for CNFs

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T19:10:50.439222Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation bf907a28-cf03-448c-a2aa-14400634cfd8 · outbound

This paper cites On compiling CNF into Decision-DNNF.

Compilation and Fast Model Counting beyond CNF On compiling CNF into Decision-DNNF

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T19:10:50.428655Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 776ef420-4ee2-4b38-bc58-2087168ffc4c · outbound

This paper cites A top-down compiler for sentential decision diagrams.

Compilation and Fast Model Counting beyond CNF A top-down compiler for sentential decision diagrams

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T19:10:50.416822Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation eb45ca44-3317-4270-85e1-e5f7db9c7fda · outbound

This paper cites New compilation languages based on structured decomposability.

Compilation and Fast Model Counting beyond CNF New compilation languages based on structured decomposability

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T19:10:50.405705Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 1da36f17-deea-4bd1-a8fe-cd1b3e2bfbff · outbound

This paper cites A faster algorithm for propositional model counting parameterized by incidence treewidth.

Compilation and Fast Model Counting beyond CNF A faster algorithm for propositional model counting parameterized by incidence treewidth

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T19:10:50.394231Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 5d03d631-24c4-4b0b-9064-45ee36f39d85 · outbound

This paper cites An improved decision-DNNF compiler.

Compilation and Fast Model Counting beyond CNF An improved decision-DNNF compiler

Reference 1994

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T19:10:50.462391Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 17b658a7-b0af-488e-8033-3da177eb2dba · outbound

This paper cites Knowledge compilation and more with SharpSAT-TD.

Compilation and Fast Model Counting beyond CNF Knowledge compilation and more with SharpSAT-TD

Reference 2007

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T19:10:50.473319Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 2fbdecc0-54bc-4ec9-a42e-d69f694e2118 · outbound

This paper cites Tractable QBF by knowledge compilation.

Compilation and Fast Model Counting beyond CNF Tractable QBF by knowledge compilation

Reference 2010

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T19:10:50.493201Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 90d153e1-2519-4ae2-b3fc-bd0f38a47af1 · outbound

This paper cites On compiling CNFs into structured deterministic DNNFs.

Compilation and Fast Model Counting beyond CNF On compiling CNFs into structured deterministic DNNFs

Reference 2014

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T19:10:50.513408Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation eaa3ffee-b137-4a62-b156-6779119c9e7f · outbound

This paper cites Fourier meets M¨ obius: fast subset convolution.

Compilation and Fast Model Counting beyond CNF Fourier meets M¨ obius: fast subset convolution

Reference 2015

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T19:10:50.502994Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 36960563-f1cb-4ec9-9aff-de2a289be7f2 · outbound

This paper cites Muise, Sheila A.

Compilation and Fast Model Counting beyond CNF Muise, Sheila A

Reference 2017

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T19:10:50.450370Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation b8526049-f02a-47b0-a0ef-c61ce0fc69bb · outbound

This paper cites New advances in compiling CNF into decomposable negation normal form.

Compilation and Fast Model Counting beyond CNF New advances in compiling CNF into decomposable negation normal form

Reference 2019

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T19:10:50.483903Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 12f1303f-0c13-4e47-9b9a-18ae44e42cae · outbound

This paper cites A Strongly Exponential Separation of DNNFs from CNF Formulas.

Compilation and Fast Model Counting beyond CNF A Strongly Exponential Separation of DNNFs from CNF Formulas

Reference 2020

Resolution: unresolved; no resolver link, observed 2026-08-09T19:10:50.111676Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.