Proof Complexity of Systems of (Non-Deterministic) Decision Trees and Branching Programs.

Sam Buss Anupam Das Alexander Knop

Published in: CSL (2020)

Keyphrases

decision trees
management system
computer systems
information systems
knowledge base
training data
naive bayes
learning systems
complex systems
random forest
neural network
search engine
np hard
worst case
building blocks
decision tree induction