DPLL: All-Time Hit SAT-Solver
Enter DPLL! - An Introduction   Ever wondered how computers solve those tricky SAT problems?...
Tags: dpll, algorithms, ai, tutorial