N. Creignou, H. Daude, U. Egly, R. Rossignol:
"New Results on the Phase Transition for Random Quantified Boolean Formulas";
Talk: Theory and Application of Satisfiability Testing -- SAT, Guangzhou; 2008-05-12 - 2008-05-15; in: "Theory and Application of Satisfiability Testing --- SAT 2008", Lecture Notes in Computer Science, 4996 (2008), 34 - 47.