Phase Transition for Random Quantified XOR-Formulas

Open in new window