Hacker News new | ask | show | jobs
Quantified CSPs are either PSPACE-complete or inside Pi_2 (arxiv.org)
2 points by cevi 794 days ago