Tight bound on Johnson's algorithm for Max-SAT | IEEE Conference Publication | IEEE Xplore