Satisfiability and Automated Reasoning
Lecture 1
- introduction to propositional logic
- basic definitions
- normal forms
- complexity of conversion to normal forms
- propositional satisfiability
- satisfiability problem
- computational complexity
- practical applications
- thinking with clauses