SMT知识小结,有助于想了解SMT的相关人士参阅