Lars Engebretsen Lower Bounds for non-Boolean Constraint Satisfaction Electronic Colloquium on Computational Complexity (ECCC) 2000 7 42 db/journals/eccc/eccc7.html#ECCC-TR00-042 http://eccc.hpi-web.de/eccc-reports/2000/TR00-042/index.html