Madelaine, Florent; Stewart, Iain A. Constraint satisfaction, logic and forbidden patterns. (English) Zbl 1142.68035 SIAM J. Comput. 37, No. 1, 132-163 (2007). Cited in 1 ReviewCited in 5 Documents MSC: 68Q19 Descriptive complexity and finite models 03C13 Model theory of finite structures 68Q15 Complexity classes (hierarchies, relations among complexity classes, etc.) Keywords:finite model theory; constraint satisfaction; existential monadic second-order logic Citations:Zbl 0914.68075 PDF BibTeX XML Cite \textit{F. Madelaine} and \textit{I. A. Stewart}, SIAM J. Comput. 37, No. 1, 132--163 (2007; Zbl 1142.68035) Full Text: DOI Link OpenURL