Pairs of SAT Assignments and Clustering in Random Boolean Formulae

Daudé, H., Mezard, M., Mora, T., Toninelli, C.

Theor. Comp. Sci.393 (2008) 260-279

Retour en haut