Reducing a 3-SAT Instance to a Set of 2-SAT Instances Using the Idea of Set Covering Problem

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]

Authors

Sardar Anisul Haque

This author has not been identified. Look up 'Sardar Anisul Haque' in Google

Ali Jaoua

This author has not been identified. Look up 'Ali Jaoua' in Google

Jihad Mohamad Al Ja'am

This author has not been identified. Look up 'Jihad Mohamad Al Ja'am' in Google

Hafeez Ur Rehman

This author has not been identified. Look up 'Hafeez Ur Rehman' in Google