Sardar Anisul Haque, Ali Jaoua, Jihad Mohamad Al Ja'am, Hafeez Ur Rehman. Reducing a 3-SAT Instance to a Set of 2-SAT Instances Using the Idea of Set Covering Problem. In International Conference on Computer and Applications, ICCA 2023, Cairo, Egypt, November 28-30, 2023. pages 1-3, IEEE, 2023. [doi]
Abstract is missing.