Differences
This shows you the differences between two versions of the page.
Next revision | Previous revision | ||
sav08:exercise_06 [2008/03/20 19:12] vkuncak created |
sav08:exercise_06 [2008/03/25 14:04] (current) piskac |
||
---|---|---|---|
Line 1: | Line 1: | ||
- | ====== Exercise 06 - DRAFT ====== | + | * Homework analysis |
- | + | ||
- | Build a resolution-based theorem prover that will win the [[http://www.cs.miami.edu/~tptp/CASC/|CASC competition]] of resolution-based theorem provers. | + | |
+ | * Herbrand universe | ||
+ | * Resolution proofs |