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

Jakob Nordström Alexander A. Razborov

Published in: Electron. Colloquium Comput. Complex. (2009)

Keyphrases

trade off
high resolution
uniform distribution
higher dimensional
genetic programming
low resolution
learning theory
boolean functions