From Proof Complexity to Circuit Complexity via Interactive Protocols.

Noel Arteche Erfan Khaniki Ján Pich Rahul Santhanam

Published in: ICALP (2024)

Keyphrases

computational complexity
database
lower bound
high speed
decision problems
data sets
real world
social networks
digital libraries
computational cost