1. A method, comprising: receiving a formula in order to determine a satisfiability of the formula; propagating truth assignments to atomic constraints of the formula by applying a Davis Putnam Longman Loveland (DPLL)-based technique; tracking which truth assignments are relevant for determining satisfiability of the formula; and propagating the truth assignments of only the relevant atomic constraints to a theory solver.