×

zbMATH — the first resource for mathematics

The computational structure of monotone monadic SNP and constraint satisfaction: A study through Datalog and group theory. (English) Zbl 0914.68075

MSC:
68Q15 Complexity classes (hierarchies, relations among complexity classes, etc.)
68R99 Discrete mathematics in relation to computer science
Software:
Datalog
PDF BibTeX XML Cite
Full Text: DOI