Recent Posts

• Four Levels of Voting Methods
  by cevion 10/29/2024, 10:36:11 PM with 0 comments
• Quantified CSPs are either PSPACE-complete or inside Pi_2
  by cevion 4/12/2024, 2:51:09 AM with 0 comments
• Simplified proof of the Constraint Satisfaction Problem Dichotomy Conjecture
  by cevion 4/5/2024, 11:06:45 PM with 1 comment