埃里克·艾伦德;陈世腾;娄天成;Papakonstantinou，Periklis A。;唐邦生 宽参数SAT：时空权衡。 （英语） Zbl 1319.68094号 理论计算。 10，论文编号：12，297-339（2014）.MSC公司：2015年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Allender}等人，理论计算。10，论文编号：12，297--339（2014；Zbl 1319.68094） 全文： 内政部 arXiv公司 OA许可证
陈世腾;多米尼克·舍德;纳维德·塔利班;唐邦生 PPSZ\（k\）-SAT算法的指数下限。 （英语） Zbl 1421.68058号 Khanna，Sanjeev（编辑），第24届ACM-SIAM离散算法年度研讨会论文集，2013年SODA，美国洛杉矶新奥尔良，2013年1月6日至8日。宾夕法尼亚州费城：工业和应用数学学会（SIAM）；纽约州纽约市：计算机协会（ACM）。1253-1263（2013年）。MSC公司：2017年第68季度 65年第68季度 68瓦20 PDF格式BibTeX公司 XML格式引用 \textit{S.Chen}等人，in：第24届ACM-SIAM离散算法年度研讨会论文集，2013年SODA，美国洛杉矶新奥尔良，2013年1月6-8日。宾夕法尼亚州费城：工业与应用数学协会（SIAM）；纽约州纽约市：计算机协会（ACM）。1253——1263（2013；Zbl 1421.68058） 全文： 内政部