Proof Complexity Meets Algebra.

Albert Atserias Joanna Ochremiak

Published in: CoRR (2017)

Keyphrases

real time
decision problems
machine learning
query language
theorem proving
database
information retrieval
similarity measure
multiscale
relational algebra