Davis–Putnam algorithm

ID: davis-putnam-algorithm

New to topics? Read the docs here!