MCS 312: NP Completeness and Approximation algorthms Instructor Neelima Gupta [email protected] Table of Contents Circuit Satisfiablity is NP Complete (CNF) SAT is NP Complete…