relation: https://eprints.uet.vnu.edu.vn/eprints/id/eprint/773/
title: SAT and SMT: Their algorithm Designs and Applications
creator: Ogawa, Mizuhito
creator: To, Van Khanh
subject: Information Technology (IT)
date: 2013
type: Conference or Workshop Item
type: PeerReviewed
identifier:   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.