Pairs of SAT-assignments in random Boolean formulæ

Hervé Daudé, Marc Mézard, Thierry Mora, Riccardo Zecchina. Pairs of SAT-assignments in random Boolean formulæ. Theoretical Computer Science, 393(1-3):260-279, 2008. [doi]

Abstract

Abstract is missing.