TY  - RPRT
TI  - Self-Referential $K$-SAT and the Finite Analogue of Gödel's Incompleteness Theorem
AU  - Wen Fang
AU  - Xianxian Li
AU  - Jun Liu
AU  - Jie Luo
AU  - Yongxin Tong
AU  - Ke Xu
PY  - 2026
UR  - https://arxiv.org/abs/2607.01671
ID  - 2607.01671
ER  -