马修·科林森 假设连词的逻辑。 (英语) Zbl 1444.03080号 J.日志。计算。 29,编号61975-1009(2019).MSC公司:03B47号 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{M.Collinson},J.日志。计算。29,第6号,975--1009(2019;Zbl 1444.03080) 全文: 内政部 链接
纽约州约翰·富兰克林。;丹·特雷茨基 选择可计算的路径。 (英语) 兹比尔1444.03139 J.日志。计算。 29,第6号,969-973(2019).MSC公司:03D45号 03D25号 03D28号 03C57号 PDF格式BibTeX公司 XML格式引用 \textit{J.N.Y.Franklin}和\textit{D.Turetsky},J.Log。计算。29,第6号,969--973(2019;Zbl 1444.03139) 全文: 内政部 arXiv公司
朱塞佩·普里米埃罗 高效和优化设计的逻辑。 (英语) Zbl 1444.03120号 J.日志。计算。 29,第6号,947-968(2019).MSC公司:03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Primiero},J.Log。计算。29,第6号,947-968(2019;Zbl 1444.03120) 全文: 内政部 链接
克里斯托弗·波特。 伯努利随机性的有效方面。 (英语) Zbl 1444.03137号 J.日志。计算。 29,第6期,933-946(2019).MSC公司:03天32分 03D28号 60G42型 60G57型 PDF格式BibTeX公司 XML格式引用 \textit{C.P.波特},J.洛格。计算。29,第6号,933--946(2019;Zbl 1444.03137) 全文: 内政部 arXiv公司
廖晓娟;宫崎骏小村 MC-nets下联盟结构生成的MaxSAT编码的比较分析和改进。 (英语) Zbl 1430.68344号 J.日志。计算。 29,第6号,913-931(2019).MSC公司:68T42型 68兰特 68T20型 91A10号 PDF格式BibTeX公司 XML格式引用 \textit{X.Liao}和\textit{M.Koshimura},J.Log。计算。29,第6号,913--931(2019;Zbl 1430.68344) 全文: 内政部
斯瓦特、维埃索;利迪亚·坦德拉 关于具有一个传递关系的二元逻辑片段的可满足性问题。 (英语) Zbl 1444.03011号 J.日志。计算。 29,第6号,881-911(2019).MSC公司:03B25号 03B20型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Szwast}和\textit{L.Tendera},J.日志。计算。29,第6号,881--911(2019;Zbl 1444.03011) 全文: 内政部 arXiv公司