Bodirsky, Manuel; Macpherson, H. Dugald; Thapper, Johan Constraint satisfaction tractability from semi-lattice operations on infinite sets. (English) Zbl 1354.68109 ACM Trans. Comput. Log. 14, No. 4, Article No. 30, 19 p. (2013). Cited in 4 Documents MSC: 68Q25 Analysis of algorithms and problem complexity 03C98 Applications of model theory Keywords:\(\omega\)-categoricity; computational complexity; constraint satisfaction problems; semilattice operations Citations:Zbl 0890.68064 PDFBibTeX XMLCite \textit{M. Bodirsky} et al., ACM Trans. Comput. Log. 14, No. 4, Article No. 30, 19 p. (2013; Zbl 1354.68109) Full Text: DOI arXiv