Proceedings of the 9 th International Workshop on Satisfiability Modulo Theories ( SMT ) 2011