4 citations · 7 across the 10 of their papers we have counts for
Showing cs.CCShow all
2 papers · 1 filter
cs.CC2026
Self-Referential -SAT and the Finite Analogue of Gödel's Incompleteness Theorem
Wen Fang, Xianxian Li, Jun Liu +3
We study self-reference and solution independence in Boolean -SAT as a finite analogue of Gödel incompleteness. Independence is defined through factorial moments of the solution…
cs.CC2026
Constructing self-referential instances for the clique problem
Jiaqi Li, Shuli Hu, Xianxian Li +1
In this paper, we propose constructing self-referential instances to reveal the inherent algorithmic hardness of the clique problem. First, we prove the existence of a phase transi…