TY  - CONF
ID  - SisLab773
UR  - https://eprints.uet.vnu.edu.vn/eprints/id/eprint/773/
A1  - Ogawa, Mizuhito
A1  - To, Van Khanh
Y1  - 2013///
TI  - SAT and SMT: Their algorithm Designs and Applications
AV  - none
M2  - Bangkok, Thailand
T2  - 2013: the 20th Asia-Pacific Software Engineering Conference (APSEC 2013)
ER  -