Export Citations
1 Results for: Keyword: ω-categoricity
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Full-Text Collection (774,032 records)|Expand your search to The ACM Guide to Computing Literature (3,836,131 records)
Select All
- research-articleNovember 2013
Constraint satisfaction tractability from semi-lattice operations on infinite sets
ACM Transactions on Computational Logic (TOCL), Volume 14, Issue 4Article No.: 30, Pages 1–19https://doi.org/10.1145/2528933A famous result by Jeavons, Cohen, and Gyssens shows that every Constraint Satisfaction Problem (CSP) where the constraints are preserved by a semi-lattice operation can be solved in polynomial time. This is one of the basic facts for the so-called ...