Reducción SAT a 3SAT Autores Óscar Moreira Estévez Marta Julia González Padrón Vanessa Villaba Pérez Adal Díaz Fariña Enlaces de interés Presentación Memoria de reducción SAT a 3SAT Página web Ejecutar Ejecutar en local npm run dev