Phase Transition for Random Quantified XOR-Formulas

Nadia Creignou, Hervé Daudé, Uwe Egly. Phase Transition for Random Quantified XOR-Formulas. J. Artif. Intell. Res. (JAIR), 29:1-18, 2007. [doi]

Abstract

Abstract is missing.