A universal-algebraic proof of the complexity dichotomy for Monotone Monadic SNP.

Manuel Bodirsky, Florent R. Madelaine, Antoine Mottet

Browse the full LICS paper archive.