SMT Applications