零件,Fedor;伊多·扎梅雷特 带计数的分辨率:类似dag的下限和不同的模。 (英语) Zbl 07355181号 计算。复杂性 30,第1号,第2号论文,71页(2021).MSC公司:20层03 2017年第68季度 第13页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{F.Part}和\textit{I.Tzameret},计算。复杂性30,第1号,第2号论文,71页(2021;Zbl 07355181) 全文: 内政部 arXiv公司 链接
德米特里·伊特西克森;德米特里·索科洛夫 模2线性方程组的分辨率。 (英语) Zbl 07127339号 Ann.纯粹应用。逻辑 171,第1号,文章ID 102722,第31页(2020).MSC公司:20层03 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Itsyson}和\textit{D.Sokolov},Ann.Pure Appl。逻辑171,第1号,文章ID 102722,31页(2020;Zbl 07127339) 全文: 内政部