A Fast Linear-Arithmetic Solver for DPLL(T)
収録刊行物
-
- Proc. of 18th Conf. on Computer Aided Verification (CAV 2006)
-
Proc. of 18th Conf. on Computer Aided Verification (CAV 2006) 81-94, 2006
Springer