Proof Complexity Meets Algebra.

Albert Atserias Joanna Ochremiak

Published in: ICALP (2017)

Keyphrases

theorem prover
space complexity
data mining
machine learning
worst case
relational algebra
artificial intelligence
search algorithm
relational databases
data model
complexity analysis