Login / Signup
A universal-algebraic proof of the complexity dichotomy for Monotone Monadic SNP.
Manuel Bodirsky
Florent R. Madelaine
Antoine Mottet
Published in:
CoRR (2018)
Keyphrases
</>
worst case
boolean functions
kolmogorov complexity
computational complexity
upper bound
higher order
statistical analysis
deductive databases
uniform distribution
datalog queries