Paul Purdom

• Algorithms for the Satisfiability Problem