Smooth and sharp thresholds for random {k}-XOR-CNF satisfiability Nadia Creignou and Hervé Daudé RAIRO-Theor. Inf. Appl., 37 2 (2003) 127-147 Published online: 15 November 2003 DOI: 10.1051/ita:2003014