艾尔维拉·阿尔伯特；贝尔斯·穆尼奥斯（Bellés-Muñoz），玛尔塔；米盖尔·伊莎贝尔；克拉拉·罗德里格斯·努涅斯；阿尔伯特·鲁比奥 提取零知识协议中的约束。 （英语） Zbl 1514.68081号 Shoham，Sharon（编辑）等人，《计算机辅助验证》。第34届国际会议，CAV 2022，以色列海法，2022年8月7日至10日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。13371, 430-443 (2022).MSC公司：2011年第68季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{E.Albert}等人，Lect。注释计算。科学。13371430-443（2022年；Zbl 1514.68081） 全文： 内政部
马凯·曼；艾哈迈德·伊尔凡；阿尔贝托·格里乔；奥德·帕顿；克拉克·巴雷特 模型检验的反例指导预言模数为数组理论。 （英语） Zbl 07596574号 日志。方法计算。科学。 18，第3号，第26号论文，28页（2022年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Mann}等人，《日志》。方法计算。科学。18，第3号，第26号论文，28页（2022；Zbl 07596574） 全文： 内政部 arXiv公司
菲利波·比加雷拉；亚历山德罗·西马蒂；阿尔贝托·格里乔；艾哈迈德·伊尔凡；马丁·乔纳什；马可·罗维里；罗伯托·塞巴斯蒂亚尼；帕特里克·特伦丁 通过增量线性化优化模非线性算法。 （英语） Zbl 07497924号 Konev，Boris（编辑）等人，《组合系统的前沿》。第十三届国际研讨会，FroCoS 2021，英国伯明翰，2021年9月8-10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12941213-231（2021年）。MSC公司：68次发射 PDF格式BibTeX公司 XML格式引用 \textit{F.Bigarella}等人，莱克特。注释计算。科学。12941、213--231（2021；Zbl 07497924） 全文： 内政部 链接
罗伯托·塞巴斯蒂亚尼；帕特里克·特伦丁 优化数学卫星：优化模理论的工具。 （英语） Zbl 1468.68206号 J.汽车。推理 64，第3号，423-460（2020）.MSC公司：68T20型 90C29型 PDF格式BibTeX公司 XML格式引用 \textit{R.Sebastiani}和\textit{P.Trentin}，J.Autom。推理64，第3期，423-460（2020年；兹bl 1468.68206） 全文： 内政部
布莱特，柯蒂斯；德拉戈米尔·奥科维奇。；伊利亚斯·科齐里亚斯；维杰·加内什 SAT+CAS组合搜索方法及其在最佳矩阵中的应用。 （英语） 兹比尔1434.05001 安。数学。Artif公司。智力。 87，第4号，321-342（2019）. 审核人：Ioan Tomescu（Bucureşti） MSC公司：05-04 05B20号 68卢比 68T27型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{C.Bright}等人，《数学年鉴》。Artif公司。智力。87，第4号，321--342（2019；Zbl 1434.05001） 全文： 内政部 arXiv公司