History

for article: DPLL algorithm