Proof Complexity Meets Algebra.

Albert Atserias Joanna Ochremiak

Published in: ACM Trans. Comput. Log. (2019)

Keyphrases

learning algorithm
computational complexity
worst case
theorem prover
real world
databases
similarity measure
lower bound
logic programming
bit rate
conjunctive query containment