2 papers
cs.CC2026
Self-Referential -SAT and the Finite Analogue of Gödel's Incompleteness Theorem
Wen Fang, Xianxian Li, Jun Liu +3
Self-reference and solution independence are central to hard combinatorial instances. We ask whether Boolean \(K\)-SAT can exhibit both, giving a finite propositional analogue of G…
math.CO2020
Exact Phase Transitions of Model RB with Slower-Growing Domains
Jun Liu, Ke Xu, Guangyan Zhou
The second moment method has always been an effective tool to lower bound the satisfiability threshold of many random constraint satisfaction problems. However, the calculation is…