阿列克桑德·卡比雪夫;尼古拉·比约纳;沙迦·伊扎基;诺姆·里内茨基;沙龙·肖姆 普适不变量的属性定向推理或证明其缺失。 (英语) Zbl 1426.68050号 美国临床医学杂志 64,第1号,第7条,33页(2017年).MSC公司:68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{A.Karbyshev}等人,J.ACM 64,第1号,第7条,33页(2017年;Zbl 1426.68050) 全文: 内政部
卡波迪,G。;卡穆拉蒂,体育。;A.米什琴科。;帕莱纳,M。;帕西尼,P。 IC3中SAT求解器管理策略:实验方法。 (英语) Zbl 1360.68580号 形式方法系统。设计。 50,第1号,39-74(2017).MSC公司:60年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{G.Cabodi}等人,《形式方法系统》。设计。50,编号1,39-74(2017;兹bl 1360.68580) 全文: 内政部