158 citations · 324 across the 5 of their papers we have counts for
1 paper · 1 filter
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…