TY  - CONF
ID  - SisLab1501
UR  - https://eprints.uet.vnu.edu.vn/eprints/id/eprint/1501/
A1  - Do, Van Duy
A1  - To, Van Khanh
Y1  - 2016/04/29/
TI  - SAT Encoding d?a trên m?u t́m ki?m gi?i tṛ ch?i Loogic Hitori
AV  - public
M2  - Hanoi
T2  - SSC: the 2016 Student Scientific Contest
ER  -