LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
sav08:exercises_04 [2008/03/12 15:05]
vkuncak
sav08:exercises_04 [2008/03/13 19:33] (current)
vkuncak
Line 1: Line 1:
 ====== Exercises 04 ====== ====== Exercises 04 ======
 +
 +Homework analysis.
  
 Example resolution proof tree. Example resolution proof tree.
Line 8: Line 10:
  
 Running DPLL on the example. Running DPLL on the example.
- 
-Playing with Alloy.