Hervé Daudé Vlady Ravelomanana Random 2-XORSAT at the Satisfiability Threshold. 12-23 2008 LATIN http://dx.doi.org/10.1007/978-3-540-78773-0_2 conf/latin/2008 db/conf/latin/latin2008.html#DaudeR08