New Results on the Phase Transition for Random Quantified Boolean Formulas. - Nadia Creignou; Hervé Daudé; Uwe Egly; Raphaël Rossignol (SAT, 2008)

(1, 2)-QSAT: A Good Candidate for Understanding Phase Transitions Mechanisms. - Nadia Creignou; Hervé Daudé; Uwe Egly; Raphaël Rossignol (SAT, 2009)

The threshold for random (1,2)-QSAT - Nadia Creignou; Hervé Daudé; Uwe Egly; Raphaël Rossignol (CoRR, 2009)

Exact location of the phase transition for random (1, 2)-QSAT. - Nadia Creignou; Hervé Daudé; Uwe Egly; Raphaël Rossignol (RAIRO Theor. Informatics Appl., 2015)