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

DPLL(T)

Extension of DPLL/CDCL to theories.

PDF document icon dpllt.pdf — PDF document, 168 kB (172536 bytes)