Nadia Creignou Hervé Daudé Uwe Egly Phase Transition for Random Quantified XOR-Formulas. 1-18 2007 29 J. Artif. Intell. Res. https://doi.org/10.1613/jair.2120 db/journals/jair/jair29.html#CreignouDE07