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

Manuel Bodirsky Florent R. Madelaine Antoine Mottet

Published in: LICS (2018)

Keyphrases

computational complexity
kolmogorov complexity
deductive databases
theorem proving
neural network
genome wide