VNU-UET Repository

SAT and SMT: Their algorithm Designs and Applications

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 View Item