若昂·西尔瓦侯爵;沙拉德·马利克 命题SAT求解。 （英语） Zbl 1392.68380号 Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。247-275 (2018).MSC公司：68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.Marques-Silva}和\textit{S.Malik}，in：模型检查手册。查姆：斯普林格。247--275（2018；Zbl 1392.68380） 全文： 内政部
于银雷;沙拉德·马利克 线性约束下SMT的引理学习。 （英语） Zbl 1187.68418号 Biere，Armin（编辑）等人，《满意度测试的理论和应用——SAT 2006》。第九届国际会议，西雅图，华盛顿州，美国，2006年8月12-15日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-37206-7/pbk）。计算机科学讲义412142-155（2006）。MSC公司：68T05年 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Yu}和\textit{S.Malik}，Lect。注释计算。科学。412142-155（2006年；Zbl 1187.68418） 全文： 内政部
傅朝辉;沙拉德·马利克 关于求解局部MAX-SAT问题。 （英语） Zbl 1187.68540号 Biere，Armin（编辑）等人，《满意度测试的理论和应用——SAT 2006》。第九届国际会议，西雅图，华盛顿州，美国，2006年8月12-15日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-37206-7/pbk）。计算机科学讲义4121252-265（2006）。MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Fu}和\textit{S.Malik}，莱克特。注释计算。科学。4121252--265（2006年；Zbl 1187.68540） 全文： 内政部
张林涛;沙拉德·马利克 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） 全文： 链接