From f5ca9cc4636d480c03fb08ce30e6e1bab9cb69f9 Mon Sep 17 00:00:00 2001 From: Cheng-Lin Li Date: Sun, 8 Oct 2017 16:04:26 -0700 Subject: [PATCH] Update README.md --- Propositional_Logic/README.md | 4 ---- 1 file changed, 4 deletions(-) diff --git a/Propositional_Logic/README.md b/Propositional_Logic/README.md index 45428bb..4142b3e 100644 --- a/Propositional_Logic/README.md +++ b/Propositional_Logic/README.md @@ -186,7 +186,3 @@ RESOURCE_WALKSAT = 49 * Stuart Russell and Peter Norvig, Artificial Intelligence: A Modern Approach (AIMA). Prentice Hall, 3rd Edition. [http://aima.cs.berkeley.edu/](http://aima.cs.berkeley.edu/) * AIMA reference code, aimacode/aima-python : https://github.com/aimacode/aima-python * MIT Open Course Ware. [Resolution Theorem Proving: Propositional Logic](https://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-825-techniques-in-artificial-intelligence-sma-5504-fall-2002/lecture-notes/Lecture7FinalPart1.pdf) - -## Notice: - -This code is just for your reference of the implementation. The code does not give a guarantee of 100% correctness.