@INPROCEEDINGS{,
author = {S. Gubin},
booktitle = {World Congress on Engineering and Computer Science, Advances in Electrical and Electronics Engineering - IAENG Special Edition of the(WCECS)},
title = {Polynomial Size Asymmetric Linear Model for SAT},
year = {2008},
volume = {00},
number = {},
pages = {62-66},
keywords={SAT; Reduction; Linear model; NP-complete},
doi = {10.1109/WCECS.2008.16},
url = {doi.ieeecomputersociety.org/10.1109/WCECS.2008.16},
ISSN = {},
month={10}
}