From 95827d4476f8c08e90d6f6e740e2a31323610f8e Mon Sep 17 00:00:00 2001 From: JKereliuk Date: Wed, 7 Oct 2015 02:38:56 -0400 Subject: [PATCH] added Complexity section with Stephen Cook paper --- complexity/README.md | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 complexity/README.md diff --git a/complexity/README.md b/complexity/README.md new file mode 100644 index 0000000..37ead3a --- /dev/null +++ b/complexity/README.md @@ -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