The dpll(t) approach to satisfiability y modulo theories

Tesis doctoral de Albert Oliveras Llunell When solving a problem by means of automated theorem proving there are two important […]

, , , , ,