LARA

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
sav08:lecture08 [2008/03/13 19:22]
vkuncak
sav08:lecture08 [2008/03/13 19:23]
vkuncak
Line 15: Line 15:
 [[Fixed-width Bitvectors]] [[Fixed-width Bitvectors]]
  
-pre-view ​of [[Finite-Model Finders]]+preview ​of [[Finite-Model Finders]] ​as application of propositional logic.
  
 ===== References ===== ===== References =====
Line 29: Line 29:
   * [[http://​www.princeton.edu/​~chaff/​zchaff.html|zChaff]]   * [[http://​www.princeton.edu/​~chaff/​zchaff.html|zChaff]]
   * [[http://​reasoning.cs.ucla.edu/​rsat/​]]   * [[http://​reasoning.cs.ucla.edu/​rsat/​]]
 +  * [[http://​fmv.jku.at/​picosat/​|PicoSAT]]
  
   * [[http://​www.decision-procedures.org/​]]   * [[http://​www.decision-procedures.org/​]]