Recuerden subir los archivos a Cuba-Wiki y no linkearlos de servidores externos, siempre siguiendo la convención de nombres descripta acá.
Plantilla:Back
http://www.academic.marist.edu/~jzbv/algorithms/3SAT.htm