또한 , SMT 언어 로 변환 하 는 과정 은 상세 하 게 는 Moura ( Moura , L . De , Bjorner , N . , 2008 , Z 3 : An Efficient SMT Solver , 14 th International Conference , TACAS 2008 , pp . 337 - 340 ) 와 Brummayer ( Brummayer , R . , Biere , A . , 2009 , Boolector : An Efficient SMT Solver for Bit - Vectors and Arrays , Proceedings of the 15 th International Conference on Tools and Algorithms for the Construction and Analysis of Systems : Held as part of the Joint European Conference on Theory and Practice of Software , pp . 174 - 177 ) 를 참조 할 수 있 다 .