Hardness of Approximation Algorithms on k-SAT and (k,s)-SAT Problems | IEEE Conference Publication | IEEE Xplore