艾娜·尼梅茨;马蒂亚斯·普雷纳;安德鲁·雷诺兹;尤尼·佐哈尔;克拉克·巴雷特;塞萨尔·蒂内利 SMT求解器中的位宽度相关证明。 （英语） Zbl 07178987号 Fontaine，Pascal（编辑），自动扣除-CADE 27。第27届自动扣减国际会议，巴西纳塔尔，2019年8月27日至30日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11716, 366-384 (2019).MSC公司：03B35型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{A.Niemetz}等人，Lect。注释计算。科学。11716、366--384（2019；Zbl 07178987） 全文： 内政部 arXiv公司
布莱特，柯蒂斯;德拉戈米尔·奥科维奇。;伊利亚斯·科齐里亚斯;维杰·加内什 SAT+CAS组合搜索方法及其在最佳矩阵中的应用。 （英语） Zbl 1434.05001号 安。数学。Artif公司。智力。 87，第4号，321-342（2019）. 审核人：Ioan Tomescu（布库雷什蒂） MSC公司：05-04 05B20号 68卢比 68T27型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{C.Bright}等人，《数学年鉴》。Artif公司。智力。87，第4号，321--342（2019；Zbl 1434.05001） 全文： 内政部 arXiv公司