56 citations · 70 across the 4 of their papers we have counts for
1 paper · 1 filter
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…