On the Complexity of Branching Proofs.

Daniel Dadush Samarth Tiwari

Published in: Computational Complexity Conference (2020)

Keyphrases

computational complexity
worst case
theorem proving
space complexity
data sets
special case
complexity analysis
real time
similarity measure
multiscale
computational cost
decision problems
complexity measures