3Quantified CSPs are either PSPACE-complete or inside Pi_2 (opens in new tab)(arxiv.org)arXiv2cevi2y ago0Save
4Simplified proof of the Constraint Satisfaction Problem Dichotomy Conjecture (opens in new tab)(arxiv.org)arXiv1cevi2y ago1Save