亚基尔·维泽尔;亚历山大·纳德尔;瓦迪姆·里夫钦 在CNF中高效生成小型插值。 (英语) Zbl 1341.68119号 形式方法系统。设计。 47,第1期,51-74(2015).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Vizel}等人,《形式方法系统》。设计。47,第1号,51--74(2015;Zbl 1341.68119) 全文: 内政部
亚基尔·维泽尔;瓦迪姆·里夫钦;亚历山大·纳德尔 在CNF中高效生成小型插值。 (英语) Zbl 1341.68120号 Sharygina,Natasha(编辑)等人,《计算机辅助验证》。2013年7月13日至19日在俄罗斯圣彼得堡举行的2013年CAV第25届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-39798-1/pbk)。计算机科学课堂讲稿8044,330-346(2013)。MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Vizel}等人,Lect。注释计算。科学。8044330-346(2013;Zbl 1341.68120) 全文: 内政部