DPLL Algorithm on the Tech Tree