CNF, SAT and the phase transition

Sebastiani slides to p. 30

• Propositional Logic
• Valuations and Semantics
• Equivalence, Satisfiability and Equi-Satisfiability
• CNF; labelling CNF; 3-CNF
• Phase Transition: satisfiability, complexity.

Future meetings will be held in AT 3.03