@inproceedings{SisLab1501,
       booktitle = {SSC: the 2016 Student Scientific Contest},
           month = {April},
           title = {SAT Encoding d?a tr{\^e}n m?u t{\`i}m ki?m gi{\h a}i tr{\`o} ch?i Loogic Hitori},
          author = {Van Duy Do and Van Khanh To},
            year = {2016},
             url = {https://eprints.uet.vnu.edu.vn/eprints/id/eprint/1501/}
}