Exact location of the phase transition for random (1,2)-QSAT Nadia Creignou, Hervé Daudé, Uwe Egly and Raphaël Rossignol RAIRO-Theor. Inf. Appl., 49 1 (2015) 23-45 Published online: 23 February 2015 DOI: 10.1051/ita/2014025