Joined 3/13/2017, 6:59:00 AM has 154 karma
Four Levels of Voting Methods
Quantified CSPs are either PSPACE-complete or inside Pi_2
Simplified proof of the Constraint Satisfaction Problem Dichotomy Conjecture