DPLL(T), Beispiel QF_LRA



2014-07-06