146 citations · 158 across the 2 of their papers we have counts for
Showing cs.DMShow all
2 papers · 1 filter
cs.DM2002★ 146 cited
Typical random 3-SAT formulae and the satisfiability threshold
Olivier Dubois, Yacine Boufkhad, Jacques Mandler
We present a new structural (or syntatic) approach for estimating the satisfiability threshold of random 3-SAT formulae. We show its efficiency in obtaining a jump from the previou…
cs.DM2001
Approximating the satisfiability threshold for random k-XOR-formulas
Nadia Creignou, Herve Daude, Olivier Dubois
In this paper we study random linear systems with variables per equation over the finite field GF(2), or equivalently -XOR-CNF formulas. In a previous paper Creignou and Dau…