Polynomial Size Asymmetric Linear Model for SAT
22 October 2008
Article describes a polynomial time many-one reduction of SAT to a polynomial size asymmetric linear system, where asymmetry means that shape and location of the system's polytope depend on order of clauses in CNF and on order of literals in the clauses.