Complexity of k-SAT | IEEE Conference Publication | IEEE Xplore