History

for article: Davis–Putnam algorithm