Decision Procedures (D.Kroening, O.Strichman)

Paper - Download

Slide - Download

More Resources

• Slide for Chapter 1: Click here
• Slide for Pre-chapter: propositional_logic_primer: Click here / Click here for short version