2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/126571Description of a polynomial time reduction of SAT to 2-SAT of polynomial size.8 pagesComputational ComplexityF.2.0; G.2.1; G.2.2text