158 citations · 316 across the 3 of their papers we have counts for
3 papers
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…
math.CO2002★ 12 cited
On the non-3-colourability of random graphs
O. Dubois, J. Mandler
We show that for c >= 2.4682, a random graph on n vertices with c n (1+o(1)) edges almost surely has no 3-colouring. This improves on the current best upper bound of 2.4947.
cond-mat.stat-mech2002★ 158 cited
Rigorous decimation-based construction of ground pure states for spin glass models on random lattices
S. Cocco, O. Dubois, J. Mandler +1
A constructive scheme for determining pure states (clusters) at very low temperature in the 3-spins glass model on a random lattice is provided, in full agreement with Parisi's one…