An improved exponential-time algorithm for k-SAT | IEEE Conference Publication | IEEE Xplore