Davis-Putnam Algorithm

From dankwiki