马西莫·劳里亚 关于\（k\）-DNF分辨率的注释。 （英语） 兹比尔1479.03026 信息处理。莱特。 137, 33-39 (2018).MSC公司：20层03 PDF格式BibTeX公司 XML格式引用 \textit{M.Lauria}，Inf.流程。莱特。137、33-39（2018；Zbl 1479.03026） 全文： 内政部
马西莫·劳里亚 团枚举和树状解析证明。 （英语） Zbl 1476.68112号 信息处理。莱特。 135, 62-67 (2018).MSC公司：65年第68季度 20层03 05C69号 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{M.Lauria}，Inf.流程。莱特。135，62-67（2018年；兹bl 1476.68112） 全文： 内政部
马西莫·劳里亚;雅各布诺德斯特伦 基于Hilbert的Nullstellensatz和Gröbner基的算法很难实现图形着色。 （英语） Zbl 1440.68105号 Ryan O'Donnell（编辑），第32届计算复杂性会议，CCC 2017年7月6日至9日，拉脱维亚里加。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。79，第2条，第20页（2017年）。MSC公司：2017年第68季度 20层03 05C15号 13页第10页 PDF格式BibTeX公司 XML格式引用 \textit｛M.Lauria｝和\textit｛J.NordströM｝，LIPIcs——莱布尼茨国际期刊。通知。79，第2条，20 p.（2017；Zbl 1440.68105） 全文： 内政部
阿尔伯特·阿塞里亚斯;马西莫·劳里亚;雅各布诺德斯特伦 狭义证明可能最长。 （英语） Zbl 1367.03104号 ACM事务处理。计算。日志。 17号第3条第19条第30页（2016年）.MSC公司：20层03 PDF格式BibTeX公司 XML格式引用 \textit{A.Atserias}等人，《美国医学杂志》。计算。日志。17，第3号，第19条，第30页（2016；Zbl 1367.03104） 全文： 内政部 arXiv公司
简·埃尔弗斯;詹·约翰森;马西莫·劳里亚;托马斯·马格纳德;雅各布诺德斯特伦;马克·维尼亚尔斯 在CDCL SAT求解器的更紧密模型中，时间和内存之间的权衡。 （英语） Zbl 1475.68343号 Creignou，Nadia（编辑）等人，《满意度测试的理论和应用——2016年SAT》。第19届国际会议，法国波尔多，2016年7月5日至8日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。9710, 160-176 (2016).MSC公司：68T20型 68T05型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{J.Elffers}等人，Lect。注释计算。科学。9710，160-176（2016年；兹比尔1475.68343） 全文： 内政部 链接
尤瓦尔·菲莫斯;马西莫·劳里亚;雅各布诺德斯特伦;罗恩·泽维，诺加;尼尔·萨彭 多项式微积分中的空间复杂性。 （英语） Zbl 1372.03099号 SIAM J.计算。 44，第4期，1119-1153（2015）.MSC公司：20层03 2017年第68季度 03B35型 03B05号 2015年3月1日 03B70号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit｛Y.Filmus｝等人，SIAM J.Comput。44，No.4，1119--1153（2015；Zbl 1372.03099） 全文： 内政部