relation: https://eprints.uet.vnu.edu.vn/eprints/id/eprint/1501/
title: SAT Encoding dựa trên mẫu tìm kiếm giải trò chơi Loogic Hitori
creator: Do, Van Duy
creator: To, Van Khanh
subject: Information Technology (IT)
date: 2016-04-29
type: Conference or Workshop Item
type: NonPeerReviewed
format: application/pdf
language: en
identifier: https://eprints.uet.vnu.edu.vn/eprints/id/eprint/1501/1/poster_Do%20Van%20Duy.pdf
identifier:   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.