A Proof of the Algebraic Tractability Conjecture for Monotone Monadic SNP.

Manuel Bodirsky Florent R. Madelaine Antoine Mottet

Published in: SIAM J. Comput. (2021)

Keyphrases

deductive databases
constraint satisfaction
theorem proving
genome wide
computational complexity
np complete
statistical methods
datalog queries
uniform distribution
upper bound
theorem prover
linear logic
tractable cases
data mining
algebraic structure
boolean functions
special case