Approximating the satisfiability threshold for random k-XOR-formulas

Nadia Creignou, Herve Daude, Olivier Dubois

In this paper we study random linear systems with $k$ variables per equation over the finite field GF(2), or equivalently $k$-XOR-CNF formulas. In a previous paper Creignou and Dau…