Lab for Automated Reasoning and Analysis LARA

This is an old revision of the document!

Propositional Proofs

This is continuation of lecture06.


  • discuss proof systems for propositional logic that are useful for SAT solvers
  • further illustrate notions of soundness and completeness of proof systems
  • show properties of proof systems on infinite formulas, because they will be useful in first-order logic
  • discuss some SAT solving techniques



sav08/lecture07.1205355217.txt.gz · Last modified: 2008/03/12 21:53 by vkuncak
© EPFL 2018 - Legal notice