GCP Constraint Based SAT Clause Generation in Polynomial Time. IJARCS [Internet]. 2017 Jan. 13 [cited 2026 Feb. 22];7(2):30-4. Available from: https://www.ijarcs.info/index.php/Ijarcs/article/view/2636