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