A Unified Framework for DPLL(T) + Certificates

Figure 1

The road map of our approach.