Satisfiability Testing for Boolean Formulas Using Δ-trees