×

Constraint satisfaction tractability from semi-lattice operations on infinite sets. (English) Zbl 1354.68109


MSC:

68Q25 Analysis of algorithms and problem complexity
03C98 Applications of model theory

Citations:

Zbl 0890.68064
PDFBibTeX XMLCite
Full Text: DOI arXiv