Reducts of finitely bounded homogeneous structures, and lifting tractability from finite-domain constraint satisfaction.
Manuel Bodirsky, Antoine Mottet
Browse the full LICS paper archive.
Manuel Bodirsky, Antoine Mottet
Browse the full LICS paper archive.