Davis-Putnam algorithm

1. REDIRECT Davis–Putnam algorithm

{{R from modification}}