Pairs of SAT Assignment in Random Boolean Formulae

Hervé Daudé, Marc Mezard, Thierry Mora +1

We investigate geometrical properties of the random K-satisfiability problem using the notion of x-satisfiability: a formula is x-satisfiable if there exist two SAT assignments dif…