pith. sign in

arXiv preprint arXiv:2601.19393 , year=

3 Pith papers cite this work. Polarity classification is still indexing.

3 Pith papers citing it

fields

cs.CC 2 cs.CV 1

years

2026 3

verdicts

UNVERDICTED 3

clear filters

representative citing papers

Solution independence and self-referential instances

cs.CC · 2026-05-04 · unverdicted · novelty 3.0

Solution independence distinguishes hypergraph dominating set from vertex cover, enabling irreducible self-referential instances that force algorithms to examine nearly the full input.

citing papers explorer

Showing 2 of 2 citing papers after filters.

  • Self-Referential $K$-SAT and the Finite Analogue of G\"odel's Incompleteness Theorem cs.CC · 2026-07-02 · unverdicted · none · ref 36

    Claims a finite analogue of Gödel incompleteness in K-SAT by building locally indistinguishable SAT/UNSAT pairs in log-width ensemble, implying sublinear deductive systems require wide clauses and exponential proof sizes, reframing SETH as Gödel projection.

  • Solution independence and self-referential instances cs.CC · 2026-05-04 · unverdicted · none · ref 8

    Solution independence distinguishes hypergraph dominating set from vertex cover, enabling irreducible self-referential instances that force algorithms to examine nearly the full input.