基木拉;铃木、亚基拉 整数线性系统重构问题的三分法。 (英语) Zbl 1477.68126号 理论。计算。科学。 856, 88-109 (2021).MSC公司:65年第68季度 2017年第68季度 2005年4月68日 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{K.Kimura}和\textit{A.Suzuki},Theor。计算。科学。856、88--109(2021年;Zbl 1477.68126) 全文: 内政部 arXiv公司
基木拉;Kazuhisa Makino 基于符号模式的整数线性系统的三分法。 (英语) Zbl 1339.90240号 离散应用程序。数学。 200, 67-78 (2016).MSC公司:90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{K.Kimura}和\textit{K.Makino},离散应用程序。数学。200,67-78(2016;Zbl 1339.90240) 全文: 内政部 哈尔
苏布拉马尼,K。;詹姆斯·沃辛顿 通过基于约简的方法在Horn约束系统中进行可行性检查。 (英语) 兹比尔1312.68231 理论。计算。科学。 576, 1-17 (2015).MSC公司:68周05 65年第68季度 2005年4月68日 90立方厘米27 PDF格式BibTeX公司 XML格式引用 \textit{K.Subramani}和\textit{J.沃辛顿},Theor。计算。科学。576,1-17(2015;Zbl 1312.68231) 全文: 内政部