詹姆斯·布里奇。;肖恩·霍尔顿。;劳伦斯·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) 全文: 内政部
黄宗岩;英格兰,马修;大卫·威尔逊;詹姆斯·H·达文波特。;劳伦斯·C·鲍尔森。;詹姆斯·布里奇 将机器学习应用于选择启发式方法来选择圆柱代数分解的变量顺序的问题。 (英语) Zbl 1304.68224号 Watt,Stephen M.(编辑)等人,《智能计算机数学》。2014年7月7日至11日在葡萄牙科英布拉举行的2014年国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-319-08433-6/pbk)。计算机科学课程讲稿8543。《人工智能课堂讲稿》,92-107(2014)。MSC公司:68瓦30 68T05年 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Huang}等人,Lect。注释计算。科学。8543,92-107(2014;Zbl 1304.68224) 全文: 内政部 arXiv公司