SMT Research Project