王文喜;哈拉尔德·森德加德;彼得·斯图基(Peter J.Stuckey)。 Wombit:使用单词级传播的组合位向量解算器。 (英语) Zbl 1468.68210号 J.汽车。推理 63,第3期,723-762(2019).MSC公司:68T20型 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{W.Wang}等人,J.Autom。推理63,No.3,723--762(2019;Zbl 1468.68210) 全文: 内政部 链接
詹姆斯·布里奇。;肖恩·霍尔顿。;劳伦斯·C·鲍尔森。 一阶定理证明的机器学习。学习选择好的启发式方法。 (英语) Zbl 1314.68274号 J.汽车。推理 53,第2期,141-172(2014).MSC公司:68吨15 68T05型 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Bridge}等人,J.Autom。推理53,No.2,141--172(2014;Zbl 1314.68274) 全文: 内政部