S. Gubin, "Polynomial Size Asymmetric Linear Model for SAT," World Congress on Engineering and Computer Science, Advances in Electrical and Electronics Engineering - IAENG Special Edition of the(WCECS), San Francisco, California, USA, 2008, pp. 62-66.
doi:10.1109/WCECS.2008.16
keywords:{SAT; Reduction; Linear model; NP-complete},
url:doi.ieeecomputersociety.org/10.1109/WCECS.2008.16