Time-space tradeos for sat (1999)

by R Lipton, A Viglas
Venue:In Proceedings of the 40th Annual Symposium on Foundations of Computer Science. IEEE