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]
@article{DaudeMMZ08, title = {Pairs of SAT-assignments in random Boolean formulæ}, author = {Hervé Daudé and Marc Mézard and Thierry Mora and Riccardo Zecchina}, year = {2008}, doi = {10.1016/j.tcs.2008.01.005}, url = {http://dx.doi.org/10.1016/j.tcs.2008.01.005}, researchr = {https://researchr.org/publication/DaudeMMZ08}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {393}, number = {1-3}, pages = {260-279}, }