%A Mizuhito Ogawa
%A Van Khanh To
%T SAT and SMT: Their algorithm Designs and Applications
%C Bangkok, Thailand
%D 2013
%L SisLab773