Exact location of the phase transition for random (1,2)-QSATNadia Creignou, Hervé Daudé, Uwe Egly and Raphaël RossignolRAIRO-Theor. Inf. Appl., 49 1 (2015) 23-45DOI: https://doi.org/10.1051/ita/2014025
