On The Relational Width of First-Order Expansions of Finitely Bounded Homogeneous Binary Cores with Bounded Strict Width

DOI10.1145/3373718.3394781zbMath1498.03071arXiv2005.04145OpenAlexW3032135130MaRDI QIDQ5145694

Publication date: 21 January 2021

Published in: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2005.04145

zbMATH Keywords

constraint satisfaction problems bounded width local consistency bounded relational width bounded strict width finitely bounded homogeneous structures

Mathematics Subject Classification ID

Applications of universal algebra in computer science (08A70) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Model theory of finite structures (03C13) Equational classes, universal algebra in model theory (03C05)

This page was built for publication: On The Relational Width of First-Order Expansions of Finitely Bounded Homogeneous Binary Cores with Bounded Strict Width