DPLL(T)
DPLL/CDCL algorithm as a rule-based system.
Extension of DPLL/CDCL to theories.
dpllt.pdf
—
PDF document,
187 kB (192245 bytes)