The phase transition in 1-in-k SAT and NAE 3-SAT
Dimitris Achlioptas, Arthur D. Chtcherba, Gabriel Istrate, Cristopher Moore · 2001
Determining bounds for the random k-SAT thresh-old has been an active area of research in recent years [1, 3]. Yet, in spite of significant efforts, nei-ther a tight analysis nor the structural properties of