Reducing a 3-SAT Instance to a Set of 2-SAT Instances Using the Idea of Set Covering Problem | IEEE Conference Publication | IEEE Xplore