Time-space lower bounds for SAT on uniform and non-uniform machines | IEEE Conference Publication | IEEE Xplore