Towards an optimal separation of space and length in resolution.

Jakob Nordström Johan Håstad

Published in: STOC (2008)

Keyphrases

dynamic programming
optimal solution
low dimensional
search space
space time
evolutionary algorithm
finding optimal
real time
databases
decision trees
lower bound
high resolution
higher dimensional