Solving Non-clausal Formulas with DPLL search Christian Thiffault Fahiem Bacchus University of Toronto Toby Walsh UNSW NCDPLL SAT 2004 CNF The classical DPLL algorithm (most…