Constraint Satisfaction, Logic and Forbidden Patterns

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

zbMATH Keywords

constraint satisfactionfinite model theoryexistential monadic second-order logic

Mathematics Subject Classification ID

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