Towards an Optimal Separation of Space and Length in Resolution.

Jakob Nordström Johan Håstad

Published in: Theory Comput. (2013)

Keyphrases

data mining
case study
search space
high resolution
space time
low dimensional
consequence finding
linear space
finding optimal
fixed length
dynamic programming
learning algorithm
np hard
closed form
exhaustive search
optimal solution
information systems
real world