%0 Conference Paper
%A Do, Van Duy
%A To, Van Khanh
%B SSC: the 2016 Student Scientific Contest
%C Hanoi
%D 2016
%F SisLab:1501
%T SAT Encoding dựa trên mẫu tìm kiếm giải trò chơi Loogic Hitori
%U https://eprints.uet.vnu.edu.vn/eprints/id/eprint/1501/