Wrote a section on parallel BDD operations and earlier work.