eprintid: 773
rev_number: 6
eprint_status: archive
userid: 5
dir: disk0/00/00/07/73
datestamp: 2015-07-29 09:50:46
lastmod: 2015-07-29 09:50:46
status_changed: 2015-07-29 09:50:46
type: conference_item
metadata_visibility: show
creators_name: Ogawa, Mizuhito
creators_name: To, Van Khanh
creators_id: khanhtv@vnu.edu.vn
title: SAT and SMT: Their algorithm Designs and Applications
ispublished: pub
subjects: IT
divisions: fac_fit
date: 2013
date_type: published
full_text_status: none
pres_type: paper
event_title: 2013: the 20th Asia-Pacific Software Engineering Conference (APSEC 2013)
event_location: Bangkok, Thailand
event_dates: 2-5 December 2015
event_type: conference
refereed: TRUE
citation:   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.