{"@attributes":{"name":"Tong Qin 0003","pid":"58\/6849-3","n":"4"},"person":{"@attributes":{"key":"homepages\/58\/6849-3","mdate":"2019-04-17"},"author":"Tong Qin 0003","note":"Tokyo Institute of Technology, School of Computing, Japan","url":"https:\/\/orcid.org\/0000-0001-8177-0573"},"homonyms":{"@attributes":{"n":"3"},"h":[{"@attributes":{"f":"q\/Qin:Tong"},"person":{"@attributes":{"publtype":"disambiguation","key":"homepages\/58\/6849","mdate":"2019-04-17"},"author":"Tong Qin"}},{"@attributes":{"f":"q\/Qin_0001:Tong"},"person":{"@attributes":{"key":"homepages\/58\/6849-1","mdate":"2025-06-07"},"author":"Tong Qin 0001","note":["Shanghai Jiao Tong University, Shanghai, China","Huawei Technologies, Shanghai, China","Hong Kong University of Science and Technology, Department of Electronic and Computer Engineering, Robotics Institute, Hong Kong"],"url":["http:\/\/www.qintong.xyz\/","https:\/\/scholar.google.com\/citations?user=TcLL048AAAAJ","https:\/\/orcid.org\/0000-0002-0994-9816"]}},{"@attributes":{"f":"q\/Qin_0002:Tong"},"person":{"@attributes":{"key":"homepages\/58\/6849-2","mdate":"2025-06-07"},"author":"Tong Qin 0002","note":["Ohio State University, Department of Mathematics, Columbus, OH, USA","Brown University, Division of Applied Mathematics, Providence, RI, USA"],"url":["https:\/\/zbmath.org\/authors\/?q=ai:qin.tong","https:\/\/mathgenealogy.org\/id.php?id=220714","https:\/\/orcid.org\/0000-0003-0659-3292","https:\/\/www.wikidata.org\/entity\/Q60057677"]}}]},"r":[{"article":{"@attributes":{"key":"journals\/ieicetd\/QinW22","mdate":"2025-04-07"},"author":["Tong Qin 0003","Osamu Watanabe"],"title":"An Improvement of the Biased-PPSZ Algorithm for the 3SAT Problem.","pages":"481-490","year":"2022","volume":"105-D","journal":"IEICE Trans. Inf. Syst.","number":"3","ee":"https:\/\/doi.org\/10.1587\/transinf.2021fcp0009","url":"db\/journals\/ieicetd\/ieicetd105.html#QinW22"}},{"article":{"@attributes":{"key":"journals\/tcs\/0003020","mdate":"2025-01-19"},"author":["Tong Qin 0003","Osamu Watanabe 0001"],"title":"An improvement of the algorithm of Hertli for the unique 3SAT problem.","pages":"70-80","year":"2020","volume":"806","journal":"Theor. Comput. Sci.","ee":["https:\/\/doi.org\/10.1016\/j.tcs.2018.11.023","https:\/\/www.wikidata.org\/entity\/Q128869835"],"url":"db\/journals\/tcs\/tcs806.html#0003020"}},{"inproceedings":{"@attributes":{"key":"conf\/walcom\/Qin018","mdate":"2019-04-17"},"author":["Tong Qin 0003","Osamu Watanabe 0001"],"title":"An Improvement of the Algorithm of Hertli for the Unique 3SAT Problem.","pages":"93-105","year":"2018","booktitle":"WALCOM","ee":"https:\/\/doi.org\/10.1007\/978-3-319-75172-6_9","crossref":"conf\/walcom\/2018","url":"db\/conf\/walcom\/walcom2018.html#Qin018"}},{"article":{"@attributes":{"publtype":"informal","key":"journals\/eccc\/QinW17","mdate":"2022-09-27"},"author":["Tong Qin 0003","Osamu Watanabe 0001"],"title":"An improvement of the algorithm of Hertli for the unique 3SAT problem.","publnr":"TR17-140","year":"2017","volume":"TR17","journal":"Electron. Colloquium Comput. Complex.","ee":"https:\/\/eccc.weizmann.ac.il\/report\/2017\/140","url":"db\/journals\/eccc\/eccc24.html#QinW17"}}],"coauthors":{"@attributes":{"n":"2","nc":"0"},"co":[{"@attributes":{"c":"-1"},"na":"Osamu Watanabe"},{"@attributes":{"c":"-1"},"na":"Osamu Watanabe 0001"}]}}