%A Van Duy Do
%A Van Khanh To
%T SAT Encoding dựa trên mẫu tìm kiếm giải trò chơi Loogic Hitori
%C Hanoi
%D 2016
%L SisLab1501