<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "SAT Encoding dựa trên mẫu tìm kiếm giải trò chơi Loogic Hitori"^^ . "2016-04-29" . . . . . . . . . . . "Van Duy"^^ . "Do"^^ . "Van Duy Do"^^ . . "Van Khanh"^^ . "To"^^ . "Van Khanh To"^^ . . . . "SSC: the 2016 Student Scientific Contest"^^ . . . . . "Hanoi"^^ . . . . . . "SAT Encoding dựa trên mẫu tìm kiếm giải trò chơi Loogic Hitori (PDF)"^^ . . . "poster_Do Van Duy.pdf"^^ . . "HTML Summary of #1501 \n\nSAT Encoding dựa trên mẫu tìm kiếm giải trò chơi Loogic Hitori\n\n" . "text/html" . . . "Information Technology (IT)"@en . .