Gravar e-mail: Una introducción a los algoritmos de satisfactibilidad