3 ms·On the Complexity of Parity Argument and Other Inefficient Proofs of Existence [pdf]2 points by lainon 8y ago