Publication:5463349

zbMath1101.68038MaRDI QIDQ5463349

Iain A. Stewart, Florent R. Madelaine

Publication date: 4 August 2005

zbMATH Keywords

computational complexity; constraint satisfaction

Mathematics Subject Classification ID

05C85: Graph algorithms (graph-theoretic aspects)

03C13: Model theory of finite structures

68Q19: Descriptive complexity and finite models