于存西;亚辛,阿提夫;苏天凯;阿兰·米什琴科;马西耶·西塞尔斯基 用于算术电路验证的重写环境。 (英语) Zbl 1415.68151号 Barthe,Gilles(编辑)等人,LPAR-22。第22届编程、人工智能和推理逻辑国际会议,埃塞俄比亚阿瓦萨,2018年11月17日至21日。精选论文。曼彻斯特:EasyChair。EPiC系列。计算。57, 656-666 (2018).MSC公司:60年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Yu}等人,EPiC Ser。计算。57、656--666(2018;Zbl 1415.68151) 全文: 内政部
尼古拉斯·比舍尔;弗朗茨,马丁;安德烈亚斯·霍尔泽;赫尔穆特·维思;斯特凡·卡岑贝塞尔 关于编译为安全多方计算优化的布尔电路。 (英语) Zbl 1386.68020号 形式方法系统。设计。 51,第2号,308-331(2017).MSC公司:64岁以下 68N20型 68第25页 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{N.Büscher}等人,《形式方法系统》。设计。51,No.2,308--331(2017;Zbl 1386.68020) 全文: 内政部