阿曼达·戴维斯;斯泰普斯(G.Stacey Staples) 布尔可满足性的Zeon和幂等-Clifford公式。 (英语) Zbl 1456.68123号 高级申请。克利夫德·阿尔盖布(Clifford Algebr)。 29,第4号,第60号论文,第18页(2019年).MSC公司:68兰特 05C69号 15A67型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{A.Davis}和\textit{G.S.Staples},高级应用程序。克利夫德·阿尔盖布(Clifford Algebr)。29,第4号,第60号论文,18页(2019年;Zbl 1456.68123) 全文: DOI程序
马可·布迪尼奇 Clifford代数中的布尔可满足性问题。 (英语) Zbl 1423.68438号 西奥。计算。科学。 784, 1-10 (2019).MSC公司:68T20型 15A66型 68瓦40 PDF格式BibTeX公司 XML格式引用 \文本{M.Budinich},Theor。计算。科学。784,1-10(2019年;Zbl 1423.68438) 全文: DOI程序 arXiv公司
马可·布迪尼奇 克利福德代数是离散世界和连续世界之间的桥梁。 (英语) Zbl 1401.15021号 高级申请。克利夫德·阿尔盖布(Clifford Algebr)。 28,第3号,第67号论文,16页(2018年). 审核人:Danail Brezov(索非亚) MSC公司:15A66型 11E88型 PDF格式BibTeX公司 XML格式引用 \textit{M.Budinich},高级应用程序。克利夫德·阿尔盖布(Clifford Algebr)。28,第3号,第67号论文,16页(2018;Zbl 1401.15021) 全文: DOI程序
塞莱兹涅娃,S.N。 有限域上多线性形式可满足性问题的复杂性。 (英语。俄文原件) Zbl 1385.65037号 莫斯克。大学计算机。数学。赛博。 41,第2期,81-88(2017); 维斯特翻译。莫斯科。州立大学。XV 2017,第2期,30-37(2017)。 审核人:君士坦丁·波帕(Constanţa) MSC公司:65楼30 15A69号 15B33型 PDF格式BibTeX公司 XML格式引用 \textit{S.N.Selezneva},莫斯克。大学计算机。数学。赛博。41,第2号,81-88(2017;Zbl 1385.65037);维斯特翻译。莫斯科。州立大学。2017年第十五期第2、30-37号(2017) 全文: DOI程序
克里斯蒂安·赫尔曼;铃本,靖国;马丁·齐格勒 关于模格及其相关结构的一致性问题。 (英语) Zbl 1373.06006号 国际代数计算杂志。 26,第8号,1573-1595(2016). 审核人:朱尼斯·切鲁利斯(里加) MSC公司:06C05号机组 08A50号 03B25号 03G15年 15A75号 2016年05月 PDF格式BibTeX公司 XML格式引用 \textit{C.Herrmann}等人,《国际代数计算》。26,第8号,1573--1595(2016;Zbl 1373.06006) 全文: DOI程序 arXiv公司
安德烈亚斯·布里登;肖恩·科库斯 关于有效逼近极大非(L)子矩阵的困难性。 (英语) Zbl 1041.68044号 线性代数应用。 377, 195-205 (2004).MSC公司:2017年第68季度 15A03号 05C40号 PDF格式BibTeX公司 XML格式引用 \textit{A.Brieden}和\textit{S.Cokus},线性代数应用。377195-205(2004;Zbl 1041.68044) 全文: DOI程序