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

1. Four Levels of Voting Methods (hiveism.substack.com) 2 points by cevi 8 months ago | past 2. Quantified CSPs are either PSPACE-complete or inside Pi_2 (arxiv.org) 2 points by cevi on April 12, 2024 | past 3. Simplified proof of the Constraint Satisfaction Problem Dichotomy Conjecture (arxiv.org) 1 point by cevi on April 5, 2024 | 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

Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4 Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact Search: