Tradeoffs for small-depth Frege proofs.

Toniann Pitassi Prasanna Ramakrishnan Li-Yang Tan

Published in: FOCS (2021)

Keyphrases

depth map
three dimensional
small number
small size
data mining
genetic algorithm
knowledge base
website
case study
database systems
video sequences
search algorithm
digital libraries
relational databases
medium size