Constraint Satisfaction, Logic and Forbidden Patterns
From MaRDI portal
Publication:5454246
DOI10.1137/050634840zbMath1142.68035MaRDI QIDQ5454246
Iain A. Stewart, Florent R. Madelaine
Publication date: 28 March 2008
Published in: SIAM Journal on Computing (Search for Journal in Brave)
Full work available at URL: http://dro.dur.ac.uk/3987/1/3987.pdf
03C13: Model theory of finite structures
68Q15: Complexity classes (hierarchies, relations among complexity classes, etc.)
68Q19: Descriptive complexity and finite models
Related Items
A Proof of the Algebraic Tractability Conjecture for Monotone Monadic SNP, Unnamed Item, Binary constraint satisfaction problems defined by excluded topological minors, Many Facets of Dualities, On the CSP Dichotomy Conjecture