Differences
This shows you the differences between two versions of the page.
| Next revision Both sides next revision | |||
|
sav08:homework06a [2008/03/20 19:23] vkuncak created |
sav08:homework06a [2008/03/20 19:23] vkuncak |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | ====== Exercise 06 - DRAFT ====== | + | ====== Homework 06 - DRAFT ====== |
| Build a theorem prover that will win the [[http://www.cs.miami.edu/~tptp/CASC/|CASC competition]] of resolution-based theorem provers. | Build a theorem prover that will win the [[http://www.cs.miami.edu/~tptp/CASC/|CASC competition]] of resolution-based theorem provers. | ||