cevi
- Karma
- 156
- Created
- 8 years ago
Recent Submissions
- 1. ▲ Cookie Clicker Ultra (introduction to googology) (olsak.net)
- 2. ▲ Four Levels of Voting Methods (hiveism.substack.com)
- 3. ▲ Quantified CSPs are either PSPACE-complete or inside Pi_2 (arxiv.org)
- 4. ▲ Simplified proof of the Constraint Satisfaction Problem Dichotomy Conjecture (arxiv.org)