Constraint Satisfaction, Logic and Forbidden Patterns
From MaRDI portal
Publication:5454246
DOI10.1137/050634840zbMath1142.68035OpenAlexW1985668982MaRDI 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
Model theory of finite structures (03C13) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Descriptive complexity and finite models (68Q19)
Related Items (5)
Binary constraint satisfaction problems defined by excluded topological minors ⋮ Many Facets of Dualities ⋮ On the CSP Dichotomy Conjecture ⋮ A Proof of the Algebraic Tractability Conjecture for Monotone Monadic SNP ⋮ Unnamed Item
This page was built for publication: Constraint Satisfaction, Logic and Forbidden Patterns