“GCP Constraint Based SAT Clause Generation in Polynomial Time”. International Journal of Advanced Research in Computer Science 7, no. 2 (January 13, 2017): 30–34. Accessed February 22, 2026. https://www.ijarcs.info/index.php/Ijarcs/article/view/2636.