zbMath1101.68038MaRDI QIDQ5463349
Iain A. Stewart, Florent R. Madelaine
Publication date: 4 August 2005
zbMATH Keywords
computational complexityconstraint satisfaction
Mathematics Subject Classification ID
Graph algorithms (graph-theoretic aspects) (05C85) Model theory of finite structures (03C13) Descriptive complexity and finite models (68Q19)