陈瑞文;拉胡尔·桑塔纳姆;斯里尼瓦桑 小阈值电路的平均情形下界和可满足性算法。 （英语） Zbl 1380.68191号 Raz，Ran（编辑），第31届计算复杂性会议，CCC’16，日本东京，2016年5月29日至6月1日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-008-8）。LIPIcs–Leibniz International Proceedings in Informatics莱布尼茨国际信息学论文集50，第1条，35页（2016）。MSC公司：2017年第68季度 2005年第68季度 68T20型 94C10美元 PDF格式BibTeX公司 XML格式引用 \textit{R.Chen}等人，LIPIcs——莱布尼茨国际程序。通知。50，第1条，第35页（2016年；兹bl 1380.68191） 全文： 内政部 arXiv公司
陈瑞文;拉胡尔·桑塔纳姆 混合实例的可满足性。 （英语） Zbl 1334.68093号 2016年1月14日至16日，美国马萨诸塞州剑桥市ITCS’16第七届ACM理论计算机科学创新会议论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4057-1）。393-402 (2016).MSC公司：65年第68季度 2017年第68季度 94C10美元 PDF格式BibTeX公司 XML格式引用 \textit{R.Chen}和\textit{R.Santhanam}，《第七届ACM理论计算机科学创新会议论文集》，ITCS’16，美国马萨诸塞州剑桥，2016年1月14-16日。纽约州纽约市：计算机协会（ACM）。393-402（2016；Zbl 1334.68093） 全文： 内政部 链接