Skip to content

Reducts of finitely bounded homogeneous structures, and lifting tractability from finite-domain constraint satisfaction.

Manuel Bodirsky, Antoine Mottet

VenueA*LICS
Year2016
ProceedingsLICS

Browse the full LICS paper archive.