TY - JOUR AU - Creignou, Nadia AU - Daudé, Hervé TI - Smooth and sharp thresholds for random ${k}$-XOR-CNF satisfiability JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 2003 SP - 127 EP - 147 VL - 37 IS - 2 PB - EDP-Sciences UR - http://archive.numdam.org/articles/10.1051/ita:2003014/ DO - 10.1051/ita:2003014 LA - en ID - ITA_2003__37_2_127_0 ER -