Ogawa, Mizuhito and To, Van Khanh  (2013) SAT and SMT: Their algorithm Designs and Applications.  In: 2013: the 20th Asia-Pacific Software Engineering Conference (APSEC 2013), 2-5 December 2015, Bangkok, Thailand.