Smooth and sharp thresholds for random {k}-XOR-CNF satisfiabilityNadia Creignou and Hervé DaudéRAIRO-Theor. Inf. Appl., 37 2 (2003) 127-147DOI: https://doi.org/10.1051/ita:2003014
