Hacker News new | past | comments | ask | show | jobs | submit | cevi's submissions login

1. Four Levels of Voting Methods (hiveism.substack.com) 2 points by cevi 64 days ago | past 2. Quantified CSPs are either PSPACE-complete or inside Pi_2 (arxiv.org) 2 points by cevi 8 months ago | past 3. Simplified proof of the Constraint Satisfaction Problem Dichotomy Conjecture (arxiv.org) 1 point by cevi 9 months ago | past | 1 comment 4. NP-hard SAT and CSP problems which admit exponentially improved algorithms (acm.org) 5 points by cevi on Dec 24, 2021 | past | 1 comment

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact Search: