TY - CONF
TI - Polynomial Size Asymmetric Linear Model for SAT
T2 - World Congress on Engineering and Computer Science, Advances in Electrical and Electronics Engineering - IAENG Special Edition of the(WCECS)
SP - 62
EP - 66
AU - S. Gubin
PY - 2008
KW - SAT; Reduction; Linear model; NP-complete
DO - 10.1109/WCECS.2008.16
JO - World Congress on Engineering and Computer Science, Advances in Electrical and Electronics Engineering - IAENG Special Edition of the(WCECS)
SN - 978-0-7695-3555-5
VO - 10.1109/WCECS.2008.16
VL - 00
JA - World Congress on Engineering and Computer Science, Advances in Electrical and Electronics Engineering - IAENG Special Edition of the(WCECS)
Y1 - October 2008
ER -