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.