Teorías de satisfacibilidad módulo