Jun Liu

activity

20132026

collaborators

3 papers

cs.CC2026

Self-Referential $K$ -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 $K$ -SAT as a finite analogue of Gödel incompleteness. Independence is defined through factorial moments of the solution…

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…

cs.DM2013

A novel weighting scheme for random $k$ -SAT

Zongsheng Gao, Jun Liu, Ke Xu

Consider a random $k$ -CNF formula $F_{k} (n, r n)$ with $n$ variables and $r n$ clauses. For every truth assignment $σ \in {0, 1}^{n}$ and every clause $c=\ell_{1}\vee\cdots\vee\ell_…

Self-Referential K-SAT and the Finite Analogue of Gödel's Incompleteness Theorem

Exact Phase Transitions of Model RB with Slower-Growing Domains

A novel weighting scheme for random k-SAT

Self-Referential $K$ -SAT and the Finite Analogue of Gödel's Incompleteness Theorem

A novel weighting scheme for random $k$ -SAT