Standard ML is a programming language ideally adapted to representation and manipulation of logical expressions. We introduce ML with a straightforward representation of propositional formulae and a naive attempt at implementing reduction to CNF.
Implementation of a correct, complete, and efficient CNF reduction is set as an exercise.
Sebastiani slides to p. 30
Future meetings will be held in AT 3.03
Following discussion in class yesterday, there will be no further meetings this week.
Because I was unable to provide you with materials last week, there is no longer time for you to prepare oral presentations, so your oral presentation has been CANCELLED. Instead we will discuss two key papers in class. You should prepare for these classes by reading the papers, identifying the key ideas they introduce, and noting some questions for discussion.
Next week we will meet on