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.