Descripción

Se presenta desde una perspectiva de ciencias de la computación, resaltando el componente algorítmico, las nociones y teoremas básicos de la lógica proposicional y de los algoritmos de resolución (SAT solvers).