On Minimal Unsatisfiability and Time-Space Trade-offs for k-DNF Resolution

Jakob Nordström Alexander A. Razborov

Published in: CoRR (2009)

Keyphrases

trade off
search space
learning algorithm
uniform distribution
boolean functions
membership queries
data sets
neural network
machine learning
space time
higher dimensional
pac learning