Proof Complexity of Monotone Branching Programs.

Anupam Das Avgerinos Delkos

Published in: CiE (2022)

Keyphrases

computational complexity
worst case
decision problems
neural network
real world
computational cost
theorem proving