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