Constraint Satisfaction, Logic and Forbidden Patterns

Florent R. Madelaine, Iain A. Stewart. Constraint Satisfaction, Logic and Forbidden Patterns. SIAM Journal on Computing, 37(1):132-163, 2007. [doi]

Abstract

Abstract is missing.