Tuesday, January 10, 2006

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

0 Comments:

Post a Comment

<< Home