卡洛斯·卡莱罗;菲利佩·卡萨尔;安德烈亚·莫迪多 广义概率可满足性和应用于建模具有副通道功能的攻击者。 （英语） Zbl 1423.68440号 西奥。计算。科学。 781, 39-62 (2019)。MSC公司：68T20型 2017年第68季度 65年第68季度 87年第68季度 90立方厘米 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{C.Caleiro}等人，Theor。计算。科学。781，39-62（2019；Zbl 1423.68440） 全文： 内政部
卡洛斯·卡莱罗;菲利佩·卡萨尔;安德烈亚·莫迪多 广义概率可满足性。 （英语） Zbl 1401.68113号 Nigam，Vivek（ed.）等人，《逻辑和语义框架及其应用第11次研讨会论文集》（LSFA 2016），葡萄牙波尔图，2016年。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记332，39-56（2017）。MSC公司：65年第68季度 2017年第68季度 68T20型 90立方厘米 90立方厘米15 PDF格式BibTeX公司 XML格式引用 \textit{C.Caleiro}等人，《电子》。注释Theor。计算。科学。332、39-56（2017；Zbl 1401.68113） 全文： 内政部