1. Barrett, C., Berezin, S., 2004. CVC Lite: a new implementation of the cooperating validity checker. LNCS, 3114:515–518.
2. Barrett, C., Dill, D., Levitt, J., 1996. Validity checking for combinations of theories with equality. LNCS, 1166:187–201. [doi:10.1007/BFb0031808]
3. Barrett, C., de Moura, L., Stump, A., 2005. SMT-COMP: satisfiability modulo theories competition. LNCS, 3576: 20–23. [doi:10.1007/11513988_4]
4. Bozzano, M., Bruttomesso, R., Cimatti, A., Junttila, T., Rossum, P.V., Schulz, S., Sebastiani, R., 2005. The MathSAT 3 System. LNCS, 3632:315–321. [doi:10.1007/11532231_23]
5. Chvatal, V., 1983. Linear Programming. Springer-Verlag New York, LLC, p.34–45.