Horn versus full first-order: Complexity dichotomies in algebraic constraint satisfaction

Manuel Bodirsky, Peter Jonsson, Timo von Oertzen. Horn versus full first-order: Complexity dichotomies in algebraic constraint satisfaction. Journal of Logic and Computation, 22(3):643-660, 2012. [doi]

Abstract

Abstract is missing.