Archives/papers-we-love_papers-we-love
1
0
Fork 0
mirror of https://github.com/papers-we-love/papers-we-love.git synced 2024-10-27 20:34:20 +00:00
Code Issues Projects Releases Wiki Activity

added Complexity section with Stephen Cook paper

Browse Source
This commit is contained in:
JKereliuk 2015-10-07 02:38:56 -04:00
parent d650de932c
commit 95827d4476
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
complexity/README.md Normal file
View File

@ -0,0 +1,3 @@
#Complexity
* [The Complexity of Theorem-Proving Procedures](http://www.chell.co.uk/media/product/_master/1/files/cook_complexity_of_theorem_proving_procedures_19712.pdf) by Stephen Cook