Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
|
sav08:homework05 [2008/03/25 14:14] piskac |
sav08:homework05 [2008/03/25 14:22] piskac |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ====== Homework 05 - due 2 April 2008 (after break) ====== | ====== Homework 05 - due 2 April 2008 (after break) ====== | ||
| + | |||
| + | |||
| Line 20: | Line 22: | ||
| Test examples shown in the class: | Test examples shown in the class: | ||
| - | {{test.cnf.txt}} | + | [[dpll:test.cnf]] [[dpll:test2.cnf]] [[dpll:test3.cnf]] |
| [[http://icwww.epfl.ch/~piskac/test.cnf|test.cnf]]. | [[http://icwww.epfl.ch/~piskac/test.cnf|test.cnf]]. | ||