On the Complexity of Branching Proofs.

Daniel Dadush Samarth Tiwari

Published in: CoRR (2020)

Keyphrases

worst case
case study
real time
artificial intelligence
space complexity
high computational complexity
neural network
face recognition
learning environment
video sequences
expert systems
decision problems
decision procedures