Skip to content

Commit

Permalink
Update README.md
Browse files Browse the repository at this point in the history
  • Loading branch information
Cheng-Lin-Li authored Oct 8, 2017
1 parent 14f1ffd commit f5ca9cc
Showing 1 changed file with 0 additions and 4 deletions.
4 changes: 0 additions & 4 deletions Propositional_Logic/README.md
Original file line number Diff line number Diff line change
Expand Up @@ -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.

0 comments on commit f5ca9cc

Please sign in to comment.