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.
Full text not available from this repository.| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Subjects: | Information Technology (IT) |
| Divisions: | Faculty of Information Technology (FIT) |
| Depositing User: | Ms. Cam Le Tran Thi |
| Date Deposited: | 29 Jul 2015 09:50 |
| Last Modified: | 29 Jul 2015 09:50 |
| URI: | http://eprints.uet.vnu.edu.vn/eprints/id/eprint/773 |
Actions (login required)
 |
View Item |
