GCP Constraint Based SAT Clause Generation in Polynomial Time. IJARCS 2017, 7 (2), 30-34. https://doi.org/10.26483/ijarcs.v7i2.2636.