Draft of a report on CNF algorithms.