约翰·戴维斯。；谭、张西；于、方；张林涛 设计一种有效的SAT求解硬件暗示加速器。 （英语） Zbl 1138.68535号 Kleine Büning，Hans（编辑）等人，《可满足性测试的理论和应用——SAT 2008》。2008年5月12日至15日，中国广州，第十一届国际SAT会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-79718-0/pbk）。计算机科学课堂讲稿4996，48-62（2008）。MSC公司：68T20型 2007年7月68日 PDF格式BibTeX公司 XML格式引用 \textit｛J.D.Davis｝等人，Lect。票据计算。科学。4996、48-62（2008年；Zbl 1138.68535） 全文： 内政部
伊利亚·米罗诺夫；张林涛 SAT解算器在散列函数密码分析中的应用。 （英语） Zbl 1187.94028号 Biere，Armin（编辑）等人，《满意度测试的理论和应用——SAT 2006》。第九届国际会议，西雅图，华盛顿州，美国，2006年8月12-15日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-37206-7/pbk）。计算机科学讲义4121102-115（2006）。MSC公司：94A60型 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{I.Mironov}和\textit{L.Zhang}，Lect。票据计算。科学。412102-115（2006年；Zbl 1187.94028） 全文： 内政部
张林涛 关于包容消除和现场CNF简化。 （英语） 兹比尔1128.68488 Bacchus，Fahiem（编辑）等，可满足性测试的理论和应用。2005年6月19日至23日在英国圣安德鲁斯举行的2005年SAT第八届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-26276-8/pbk）。计算机科学课堂讲稿3569482-489（2005）。MSC公司：68T20型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{L.Zhang}，莱克特。票据计算。科学。3569482--489（2005年；Zbl 1128.68488） 全文： 内政部
达科·马里诺夫；萨尔夫拉兹·库希德；苏哈贝·布格拉拉；张林涛；马丁·里纳德 将声明性模型编译为布尔公式的优化。 （英语） Zbl 1128.68475号 Bacchus，Fahiem（编辑）等，可满足性测试的理论和应用。2005年6月19日至23日，英国圣安德鲁斯，第八届国际会议，SAT 2005。诉讼程序。柏林：施普林格出版社（ISBN 3-540-26276-8/pbk）。计算机科学课堂讲稿3569187-202（2005）。MSC公司：68T20型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{D.Marinov}等人，Lect。票据计算。科学。35698187-202（2005年；兹bl 1128.68475） 全文： 内政部
张林涛；沙拉德·马利克 SAT解算器的缓存性能：高效实现算法的案例研究。 （英语） Zbl 1204.68213号 Giunchiglia，Enrico（编辑）等，可满足性测试的理论和应用。2003年5月5日至8日，意大利圣玛格丽塔·利古雷，第六届国际SAT会议。选定的修订论文。柏林：施普林格出版社（ISBN 3-540-20851-8/pbk）。莱克特。票据计算。科学。2919, 287-298 (2004).MSC公司：68T20型 68第05页 PDF格式BibTeX公司 XML格式引用 \textit｛L.Zhang｝和\textit｛S.Malik｝，Lect。票据计算。科学。2919、287--298（2004年；Zbl 1204.68213） 全文： 内政部
张林涛；沙拉德·马利克 寻求有效的布尔可满足性求解器。 （英语） Zbl 1072.68599号 Andrei Voronkov（编辑），自动扣除-CADE-18。第18届国际会议，丹麦哥本哈根，2002年7月27日至30日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43931-5）。莱克特。票据计算。科学。2392, 295-313 (2002).MSC公司：68吨15 PDF格式BibTeX公司 XML格式引用 \textit{L.Zhang}和\textit{S.Malik}，Lect。票据计算。科学。239295-313（2002年；Zbl 1072.68599） 全文： 链接