Davis Putnam Algorithm