Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
sav08:homework05 [2008/03/25 14:22] 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 24: | Line 25: | ||
[[dpll:test.cnf]] [[dpll:test2.cnf]] [[dpll:test3.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 ===== |