Do, Van Duy and To, Van Khanh (2016) SAT Encoding dựa trên mẫu tìm kiếm giải trò chơi Loogic Hitori. In: SSC: the 2016 Student Scientific Contest, 29 April 2016, Hanoi.
![[img]](https://eprints.uet.vnu.edu.vn/eprints/style/images/fileicons/application_pdf.png) |
PDF
Download (27MB) |
| Item Type: | Conference or Workshop Item (Poster) |
|---|---|
| Subjects: | Information Technology (IT) |
| Divisions: | Faculty of Information Technology (FIT) |
| Depositing User: | Ms. Cam Le Tran Thi |
| Date Deposited: | 20 May 2016 08:42 |
| Last Modified: | 20 May 2016 08:43 |
| URI: | http://eprints.uet.vnu.edu.vn/eprints/id/eprint/1501 |
Actions (login required)
 |
View Item |
