Solving Non-clausal Formulas with DPLL search.

Christian Thiffault, Fahiem Bacchus, Toby Walsh

Browse the full SAT paper archive.