马丁·乔纳什;斯特雷切克,J。 关于二进制编码的量化位向量算法的复杂性。 (英语) Zbl 1476.68111号 信息处理。莱特。 135, 57-61 (2018).MSC公司:65年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Jonáš}和\textit{J.Strejček},Inf.Process。莱特。135、57-61(2018;Zbl 1476.68111) 全文: 内政部 arXiv公司
徐兆伟;张文辉 ACTL公式的线性模板,用于基于SAT的验证。 (英语) Zbl 1409.68176号 信息处理。莱特。 127, 6-16 (2017).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Xu}和\textit{W.Zhang},Inf.Process。莱特。127、6--16(2017;Zbl 1409.68176) 全文: 内政部
Manoj G.迪克西特。;拉梅什,S。;帕拉布·达斯古普塔 关于参数时序逻辑的一些结果。 (英语) 兹比尔1260.68201 信息处理。莱特。 111,第20号,994-998(2011).MSC公司:65年第68季度 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.G.Dixit}等人,《信息处理》。莱特。111,编号20994--998(2011年;兹bl 1260.68201) 全文: 内政部