Reducts of finitely bounded homogeneous structures, and lifting tractability from finite-domain constraint satisfaction
Research article (Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016) · cited 18× · AI/ML