@inproceedings{SisLab773,
       booktitle = {2013: the 20th Asia-Pacific Software Engineering Conference (APSEC 2013)},
           title = {SAT and SMT: Their algorithm Designs and Applications},
          author = {Mizuhito Ogawa and Van Khanh To},
            year = {2013},
             url = {https://eprints.uet.vnu.edu.vn/eprints/id/eprint/773/}
}