A Proof of the Algebraic Tractability Conjecture for Monotone Monadic SNP

Manuel Bodirsky, Florent R. Madelaine, Antoine Mottet. A Proof of the Algebraic Tractability Conjecture for Monotone Monadic SNP. SIAM Journal on Computing, 50(4):1359-1409, 2021. [doi]

Abstract

Abstract is missing.