阿尔伯特·阿塞里亚斯；Phokion G.科莱蒂斯。；西蒙·塞韦里尼 通过算子赋值的广义可满足性问题。 （英语） Zbl 1423.68430号 J.计算。系统。科学。 105, 171-198 (2019).MSC公司：68T20型 47B99型 81页68 PDF格式BibTeX公司 XML格式引用 \textit{A.Atserias}等人，《计算杂志》。系统。科学。105、171--198（2019年；Zbl 1423.68430） 全文： 内政部 arXiv公司
阿尔伯特·阿塞里亚斯；Phokion G.科莱蒂斯。；西蒙·塞韦里尼 通过算子赋值的广义可满足性问题。 （英语） Zbl 1495.68155号 Klasing，Ralf（编辑）等人，《计算理论基础》。2017年9月11-13日在法国波尔多举行的2017年FCT第21届国际研讨会。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。10472, 56-68 (2017).MSC公司：68兰特 47B02型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Atserias}等人，Lect。票据计算。科学。10472，56-68（2017；Zbl 1495.68155） 全文： 内政部 链接
Aragón Artacho，Francisco J。；乔纳森·博温。；Tam，Matthew K。 Douglas-Rachford方法的最新结果。 （英语） Zbl 1324.90130号 Serdica数学。J。 39，编号3-4，313-330（2013）. 审核人：N.K.Ribarska（索非亚） MSC公司：90C27型 90 C59 47N10号 65K10码 90C26型 PDF格式BibTeX公司 XML格式引用 \textit{F.J.Aragón Artacho}等人，《Serdica数学》。J.39，编号3-4-313-330（2013；兹bl 1324.90130）