%0 Conference Paper
%A Ogawa, Mizuhito
%A To, Van Khanh
%B 2013: the 20th Asia-Pacific Software Engineering Conference (APSEC 2013)
%C Bangkok, Thailand
%D 2013
%F SisLab:773
%T SAT and SMT: Their algorithm Designs and Applications
%U https://eprints.uet.vnu.edu.vn/eprints/id/eprint/773/