Paper Citation Record · LEDGER

A Better Analysis For PPSZ For 3-SAT

As of 20 August 2026, this Paper Citation Record lists 6 of 6 outbound references and 0 inbound Pith citation observations for arXiv:2607.10697.

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

pith.paper-citation-record.v1
2607.10697 v1

Coverage vector

measured 6 of 6 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-07-14T09:56:40.793890Z

measured 6 of 6 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-20T06:33:59.587034+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

6 of 6 outbound references displayed

verified exact1
verified fuzzy0
unresolved4
parse uncertain0
malformed identifier1
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 2cc6fb09-a2d4-4981-bf73-69a86c9b6439 · outbound

This paper cites Learning-Augmented Algorithms for Boolean Satisfiability.

A Better Analysis For PPSZ For 3-SAT Learning-Augmented Algorithms for Boolean Satisfiability

Reference 1

Resolution: unresolved; no resolver link, observed 2026-07-14T09:56:40.793890Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1c3413ec-4519-4a4e-abaf-faa5d3282983 · outbound

This paper cites Paturi, P.

A Better Analysis For PPSZ For 3-SAT Paturi, P

Reference 2

Resolution: unresolved; no resolver link, observed 2026-07-14T09:56:40.793890Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fd1d9d3b-3535-4772-9fda-b1accc2fa630 · outbound

This paper cites an unresolved cited work.

A Better Analysis For PPSZ For 3-SAT Unresolved cited work

Reference 3

Resolution: unresolved; no resolver link, observed 2026-07-14T09:56:40.793890Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 99def3c8-ce75-498d-8ec0-5eb61c5d93a5 · outbound

This paper cites an unresolved cited work.

A Better Analysis For PPSZ For 3-SAT Unresolved cited work

Reference 4

Resolution: unresolved; no resolver link, observed 2026-07-14T09:56:40.793890Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fb4576a5-71de-4387-a426-eabe2ca6dfa6 · outbound

This paper cites an unresolved cited work.

A Better Analysis For PPSZ For 3-SAT Unresolved cited work

Reference 5

Resolution: verified exact; doi, observed 2026-07-14T10:00:26.838385Z

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 76cd8f51-fad3-48ed-b0ea-c3c1de7dba5b · outbound

This paper cites Scheder and J.

A Better Analysis For PPSZ For 3-SAT Scheder and J

Reference 6

Resolution: malformed identifier; doi_truncated, observed 2026-07-14T10:00:26.828611Z

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

No inbound Pith citation observations are available.