Martin E. Dyer David Richerby The #CSP Dichotomy is Decidable. 261-272 2011 STACS http://dx.doi.org/10.4230/LIPIcs.STACS.2011.261 conf/stacs/2011 db/conf/stacs/stacs2011.html#DyerR11