Time-Space Tradeoffs for SAT on Nonuniform Machines.

Iannis Tourlakis

Published in: J. Comput. Syst. Sci. (2001)

Keyphrases

search space
search algorithm
decision trees
space time
real time
low dimensional
phase transition
design decisions
sat problem