Nadia Creignou Hervé Daudé Olivier Dubois Approximating The Satisfiability Threshold For Random K-Xor-Formulas. 2003 12 Combinatorics, Probability & Computing 2 db/journals/cpc/cpc12.html#CreignouDD03