“GCP Constraint Based SAT Clause Generation in Polynomial Time” (2017) International Journal of Advanced Research in Computer Science, 7(2), pp. 30–34. doi:10.26483/ijarcs.v7i2.2636.