Directed resolution continued (DP algorithm). 16:52 Solving satisfiability through search (DPLL algorithm).
No download links available.
