Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-05-24T00:03:39.211752Z
Paper Citation Record · LEDGER
#CFG and #DNNF admit FPRAS
As of 23 August 2026, this Paper Citation Record lists 15 of 15 outbound references and 1 inbound Pith citation observation for arXiv:2406.18224.
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-23T06:30:58.430688+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-04T10:57:30.705538Z
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
15 of 15 outbound references displayed
- verified exact0
- verified fuzzy15
- unresolved0
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation bad1db2f-8783-4f67-b9bc-e9430b5736f0 · outbound
This paper cites \# NFA admits an FPRAS: efficient enumeration, counting, and uniform generation for logspace classes.
#CFG and #DNNF admit FPRAS \# NFA admits an FPRAS: efficient enumeration, counting, and uniform generation for logspace classes
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-24T00:05:54.278694Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation d84f846a-88f9-4451-a8bb-9c79805f1035 · outbound
This paper cites When is approximate counting for conjunctive queries tractable? In 53rd Annual ACM SIGACT Symposium on Theory of Computing , pages 1015--1027.
#CFG and #DNNF admit FPRAS When is approximate counting for conjunctive queries tractable? In 53rd Annual ACM SIGACT Symposium on Theory of Computing , pages 1015--1027
Reference 2
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-24T00:05:54.275668Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation a340945f-ed97-42a7-9aa0-d2cba280eb58 · outbound
This paper cites Compilers principles, techniques & tools.
#CFG and #DNNF admit FPRAS Compilers principles, techniques & tools
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-24T00:05:54.267632Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 5f0bbdfe-71e5-40a1-854a-0b9cefd407a7 · outbound
This paper cites On probabilistic inference by weighted model counting.
#CFG and #DNNF admit FPRAS On probabilistic inference by weighted model counting
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-24T00:05:54.286807Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 2ed6b691-8cae-4a48-8f08-b289c9e82a24 · outbound
This paper cites Decomposable negation normal form.
#CFG and #DNNF admit FPRAS Decomposable negation normal form
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-24T00:05:54.272344Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation c7b84dc4-9ddc-4cab-bdaf-7dc38131b4da · outbound
This paper cites Sweedyk, and Stephen R.
#CFG and #DNNF admit FPRAS Sweedyk, and Stephen R
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-24T00:05:54.283891Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 8b326384-23a5-4b9b-9d6b-786faf7d2f19 · outbound
This paper cites Grammar-based whitebox fuzzing.
#CFG and #DNNF admit FPRAS Grammar-based whitebox fuzzing
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-24T00:05:54.290484Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 419ffa22-c816-493f-8064-8036cf01d670 · outbound
This paper cites Knowledge compilation meets database theory: compiling queries to decision diagrams.
#CFG and #DNNF admit FPRAS Knowledge compilation meets database theory: compiling queries to decision diagrams
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-24T00:05:54.264014Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 5245533b-f8ce-44ba-9ea0-5b14cd1cc645 · outbound
This paper cites Sweedyk, and Stephen R.
#CFG and #DNNF admit FPRAS Sweedyk, and Stephen R
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-24T00:05:54.250142Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 0ea4a642-7f47-4f4a-ad70-68514a6cbb4d · outbound
This paper cites Meel, Sourav Chakraborty, and Umang Mathur.
#CFG and #DNNF admit FPRAS Meel, Sourav Chakraborty, and Umang Mathur
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-24T00:05:54.252806Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation f6c5d438-ed3b-4517-b05a-d55c394dfc42 · outbound
This paper cites Estimating the size of union of sets in streaming models.
#CFG and #DNNF admit FPRAS Estimating the size of union of sets in streaming models
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-24T00:05:54.255422Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation f448ec5f-590e-40ad-8da1-b51db5027ac7 · outbound
This paper cites Pruning conformant plans by counting models on compiled d-dnnf representations.
#CFG and #DNNF admit FPRAS Pruning conformant plans by counting models on compiled d-dnnf representations
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-24T00:05:54.245442Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation d1bd31f6-918d-4156-a171-5b1abbaf3c99 · outbound
This paper cites Knowledge compilation meets uniform sampling.
#CFG and #DNNF admit FPRAS Knowledge compilation meets uniform sampling
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-24T00:05:54.247751Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 7f726521-e007-4049-ae5c-9a12cececf1d · outbound
This paper cites Valiant, Sven Skyum, S.
#CFG and #DNNF admit FPRAS Valiant, Sven Skyum, S
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-24T00:05:54.258066Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation e454bb83-2c64-47bf-9577-7432c7ab8736 · outbound
This paper cites The Fuzzing Book.
#CFG and #DNNF admit FPRAS The Fuzzing Book
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-24T00:05:54.261378Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Pith citing papers
Observation 506bd300-a964-4c81-ada8-0abc409601ba · inbound
On the Complexity of Language Membership for Probabilistic Words cites this paper.
On the Complexity of Language Membership for Probabilistic Words #CFG and #DNNF admit FPRAS
Reference 64
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T10:57:30.705538Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.