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