You are here: Home Decision Procedures … Slides DPLL(T)

DPLL(T)

DPLL/CDCL algorithm as a rule-based system. Extension of DPLL/CDCL to theories.