arXiv 2001-06-01 EN Approximating the satisfiability threshold for random k-XOR-formulas Creignou, Nadia · Daude, Herve · Dubois, Olivier