New Results on the Phase Transition for Random Quantified Boolean Formulas.

Nadia Creignou, Herv Daud, Uwe Egly, Raphal Rossignol

Browse the full SAT paper archive.