沃尔克·索尔格;西蒙·科尔顿;罗伊·麦卡斯兰德;安德烈亚斯·梅耶 分类通过组合自动推理工具产生拟群和循环理论。 (英语) Zbl 1192.20062号 评论。数学。卡罗尔大学。 49,第2期,319-339(2008). 审核人:大卫·斯坦诺夫斯克(普拉哈) MSC公司:20号05 68吨15 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{V.Sorge}等人,评论。数学。卡罗尔大学。49,第2号,319--339(2008;Zbl 1192.20062) 全文: 欧洲DML EMIS公司
沃尔克·索尔格;安德烈亚斯·梅耶;罗伊·麦卡斯兰德;西蒙·科尔顿 同位素不变量的自动构造和验证。 (英语) Zbl 1139.68050号 J.汽车。推理 40,编号2-3,221-243(2008).MSC公司:68吨15 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{V.Sorge}等人,J.Autom。推理40,No.2--3,221--243(2008;Zbl 1139.68050) 全文: 内政部
沃尔克·索尔格;安德烈亚斯·梅耶;罗伊·麦卡斯兰德;西蒙·科尔顿 同位素不变量的自动构造和验证。 (英语) Zbl 1214.68337号 Furbach,Ulrich(编辑)等人,《自动推理》。2006年8月17日至20日,第三届国际联合会议,IJCAR 2006,美国华盛顿州西雅图。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-37187-8/pbk)。计算机科学讲义4130。人工智能课堂讲稿,36-51(2006)。MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{V.Sorge}等人,Lect。注释计算。科学。4130,36-51(2006;Zbl 1214.68337) 全文: 内政部
安德烈亚斯·梅耶;沃尔克·索尔格 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) 全文: 内政部 链接