The dichotomy conjecture (proved in April 2017) states that if A is a finite algebra, then CSPA is either P or NP-complete.
The dichotomy conjecture (proved in April 2017) states that if A is a finite algebra then CSPA is either P or NP-complete