3 ms·
Cook’s 1971 Paper proving boolean satisfiability NP-Complete transcribed to TeX
- gbacon 8y agoA4: http://4mhz.de/download.php?file=Cook1971_A4.pdf http://4mhz.de/download.php?file=Cook1971_A4.pdf Letter: http://4mhz.de/download.php?file=Cook1971_Letter.pdf http://4mhz.de/download.php?file=Cook1971_Letter.pdf