@在过程中{BiereKauersRitirc-DATE18，author={Daniela Ritirc和Armin Biere和曼努埃尔·考尔斯}，title={改进和扩展验证网关级的代数方法乘数}，booktitle={{DATE}}，页数={1556--1561}，publisher={{IEEE}}，年份=｛2018｝}