托马斯·艾特;拉斐尔·基塞尔 人工智能中的半环推理框架及其计算复杂性。 (英语) Zbl 07753301号 J.阿蒂夫。智力。研究(JAIR) 77, 207-293 (2023).MSC公司:68T01型 2016年60月 65年第68季度 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}和\textit{R.Kiesel},J.Artif。智力。研究(JAIR)77,207--293(2023;Zbl 07753301) 全文: DOI程序
李、付;伊多·扎梅雷特 见证矩阵恒等式和证明复杂性。 (英语) Zbl 1417.16029号 国际代数计算杂志。 28,第2期,217-256(2018).MSC公司:16兰特 2017年第68季度 20层03 PDF格式BibTeX公司 XML格式引用 \textit{F.Li}和\textit{I.Tzameret},国际代数计算杂志。28,编号21217-256(2018;兹bl 1417.16029) 全文: DOI程序
关雪冲;李永明 半环诱导赋值代数保持最优解的映射条件。 (英语) Zbl 1302.68261号 西奥。计算。科学。 563, 86-98 (2015).MSC公司:68层37 08A70号 2016年60月 PDF格式BibTeX公司 XML格式引用 \textit{X.Guan}和\textit{Y.Li},Theor。计算。科学。563,86-98(2015;Zbl 1302.68261) 全文: DOI程序