Pairs of SAT Assignments and Clustering in Random Boolean Formulae

TitlePairs of SAT Assignments and Clustering in Random Boolean Formulae
Publication TypeJournal Article
Year of Publication2008
AuthorsMora T, Mézard M, Zecchina R
JournalTheoretical Computer Science
Volume393
Pagination260–279