1. Aziz, M.A.: A novel portfolio solver for satisfiability modulo theory problems (2013)
2. Aziz, M.A., Wassal, A., Darwish, N.: A machine learning technique for hardness estimation of QFBV SMT problems (work in progress). In: SMT Workshop 2012 10th International Workshop on Satisfiability Modulo Theories SMT-COMP 2012, p. 56 (2012)
3. Barrett, C., Deters, M., de Moura, L., Oliveras, A.: A stump. 6 years of SMT-COMP (2012)
4. Barrett, C., Stump, A., Tinelli, C.: The SMT-LIB standard: version 2.0. In: Gupta, A, Kroening, D. (eds.) Proceedings of the 8th International Workshop on Satisfiability Modulo Theories (Edinburgh, England) (2010)
5. Le Berre, D., Simon, L.: The essentials of the SAT 2003 competition. In: Sixth international conference on theory and applications of satisfiability testing, vol. 2919 of LNCS, pp. 452–467. Springer (2003)