The #CSP Dichotomy is Decidable.

Martin E. Dyer, David Richerby

Browse the full STACS paper archive.