克里斯托夫·本兹穆勒;沃尔克·索尔格;马蒂亚·贾姆尼克;曼弗雷德·科伯 通过自动化协作进行组合推理。 (英语) Zbl 1162.68646号 J.应用。日志。 6,第3号,318-342(2008).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{C.Benzmüller}等人,J.Appl。日志。6,第3号,318--342(2008;Zbl 1162.68646) 全文: DOI程序 链接
安德烈亚斯·梅耶;沃尔克·索尔格 SAT求解在有限代数分类中的应用。 (英语) Zbl 1109.68103号 J.自动化。推理 35,编号1-3,201-235(2005).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Meier}和\textit{V.Sorge},J.Autom。推理35,No.1--3,201-235(2005;Zbl 1109.68103) 全文: DOI程序 链接