×

Constraint satisfaction, logic and forbidden patterns. (English) Zbl 1142.68035


MSC:

68Q19 Descriptive complexity and finite models
03C13 Model theory of finite structures
68Q15 Complexity classes (hierarchies, relations among complexity classes, etc.)

Citations:

Zbl 0914.68075
PDF BibTeX XML Cite
Full Text: DOI Link