@inproceedings{CTT100772527,
  author = {Tong Qin and Osamu Watanabe},
  title = {An Improvement of the Algorithm of Hertli for the Unique 3SAT Problem},
  booktitle = {信学技報},
  year = 2017,
}

@misc{CTT100891949,
  author = {Tong Qin},
  title = {Improvements of PPSZ Algorithms for Unique 3-SAT Problem},
  year = 2021,
}

@misc{CTT100891950,
  author = {Tong Qin},
  title = {Improvements of PPSZ Algorithms for Unique 3-SAT Problem},
  year = 2021,
}

@misc{CTT100891951,
  author = {Tong Qin},
  title = {Improvements of PPSZ Algorithms for Unique 3-SAT Problem},
  year = 2021,
}

@misc{CTT100772528,
  author = {Tong Qin},
  title = {Improvements of the Algorithm of Hertli for the Unique 3-SAT Problem},
  year = 2017,
}



@phdthesis{CTT100891949,
  author = {Tong Qin},
  title = {Improvements of PPSZ Algorithms for Unique 3-SAT Problem},
  school = {東京工業大学},
  year = 2021,
}

@phdthesis{CTT100891950,
  author = {Tong Qin},
  title = {Improvements of PPSZ Algorithms for Unique 3-SAT Problem},
  school = {東京工業大学},
  year = 2021,
}

@phdthesis{CTT100891951,
  author = {Tong Qin},
  title = {Improvements of PPSZ Algorithms for Unique 3-SAT Problem},
  school = {東京工業大学},
  year = 2021,
}

@mastersthesis{CTT100772528,
  author = {Tong Qin},
  title = {Improvements of the Algorithm of Hertli for the Unique 3-SAT Problem},
  school = {東京工業大学},
  year = 2017,
}