Cook’s 1971 Paper proving boolean satisfiability NP-Complete transcribed to TeX (4mhz.de) 1 points by gbacon 7y ago ↗ HN
[–] gbacon 7y ago ↗ A4: http://4mhz.de/download.php?file=Cook1971_A4.pdfLetter: http://4mhz.de/download.php?file=Cook1971_Letter.pdf
1 comment
[ 3.0 ms ] story [ 10.4 ms ] threadLetter: http://4mhz.de/download.php?file=Cook1971_Letter.pdf