cevi

POSTS

• Cookie Clicker Ultra (introduction to googology)

  by cevi on 10/13/2025, 10:31 PM with 0 comments

• Four Levels of Voting Methods

  by cevi on 10/29/2024, 10:36 PM with 0 comments

• Quantified CSPs are either PSPACE-complete or inside Pi_2

  by cevi on 4/12/2024, 2:51 AM with 0 comments

• Simplified proof of the Constraint Satisfaction Problem Dichotomy Conjecture

  by cevi on 4/5/2024, 11:06 PM with 1 comments

• NP-hard SAT and CSP problems which admit exponentially improved algorithms

  by cevi on 12/24/2021, 12:00 AM with 1 comments