Locally Finite Constraint Satisfaction Problems
From MaRDI portal
Publication:4635828
DOI10.1109/LICS.2015.51zbMath1394.68186OpenAlexW1520239064MaRDI QIDQ4635828
Eryk Kopczyński, Szymon Toruńczyk, Joanna Ochremiak, Bartek Klin
Publication date: 23 April 2018
Published in: 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/lics.2015.51
Analysis of algorithms and problem complexity (68Q25) Decidability of theories and sets of sentences (03B25) Model theory of finite structures (03C13) Equational classes, universal algebra in model theory (03C05) Descriptive complexity and finite models (68Q19)
Related Items (7)
Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A Dichotomy for First-Order Reducts of Unary Structures ⋮ Unnamed Item ⋮ Unnamed Item
This page was built for publication: Locally Finite Constraint Satisfaction Problems