柴塔尼亚·曼格拉;肖恩·霍尔顿。;劳伦斯·C·鲍尔森。 自动定理证明器中策略调度的贝叶斯排序。 （英语） Zbl 1520.68216号 Blanchette，Jasmin（编辑）等人，《自动推理》。第十一届国际联合会议，2022年8月8日至10日，以色列海法，IJCAR 2022。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13385, 559-577 (2022). 审核人：Truong Hoang Le（北纬ội） MSC公司：68伏15 68T05型 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{C.Mangla}等人，Lect。注释计算。科学。13385，559--577（2022；Zbl 1520.68216） 全文： 内政部
何兴兴;徐，杨;刘军;李英芳 \具有等式的格值逻辑（L_nF（X））的（alpha）-参数调制方法。 （英语） Zbl 1491.03022号 软计算。 第1251-261号（2021）.MSC公司：03B50号 PDF格式BibTeX公司 XML格式引用 \textit{X.He}等人，《软计算》。25，第1号，251--261（2021；Zbl 1491.03022） 全文： 内政部
Edvard K.霍尔顿。;康斯坦丁·科洛文 一阶定理证明的异构启发式优化和调度。 （英语） Zbl 1485.68282号 Kamaredine，Fairouz（编辑）等人，《智能计算机数学》。2021年7月26日至31日，罗马尼亚蒂米苏拉第十四届国际会议，CICM 2021。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12833, 107-123 (2021).MSC公司：68伏15 68T05型 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{E.K.Holden}和\textit{K.Korovin}，莱克特。注释计算。科学。12833，107-123（2021；Zbl 1485.68282） 全文： 内政部
多里安·弗洛雷斯库;英格兰，马修 改进了分类器的交叉验证，分类器可以进行算法选择，从而在不影响输出正确性的情况下最小化运行时。 （英语） 兹伯利0741081 Daniel Slamanig（编辑）等人，《计算机和信息科学的数学方面》。2019年11月13日至15日在土耳其格布泽举行的2019年MACIS第八届国际会议。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。11989, 341-356 (2020).MSC公司：68倍 65-XX岁 PDF格式BibTeX公司 XML格式引用 \textit{D.Florescu}和\textit{M.英格兰}，莱克特。注释计算。科学。11989、341--356（2020；Zbl 07441081） 全文： 内政部 arXiv公司
阿西姆·罗伊;库雷什、石板;卡提基亚·潘德;迪维塔·奈尔;卡提克·盖罗拉;普亚·贾恩;苏拉吉·辛格;夏尔马，Kirti;阿克谢·贾加代尔;林毅阳;沙申克·夏尔马;拉米亚·戈蒂;张跃欣;唐、吉;特哈斯·梅塔;辛达努鲁（Hemanth Sindhanuru）;奥卡福，非索;达斯，山特;Chidambara N.戈帕尔。;Rudraraju，Srinivasa B。;阿维纳什五世（Avinash V.Kakarlapudi）。 机器学习平台的性能比较。 （英语） Zbl 07281707号 信息J.计算。 第2期第31页，207-225（2019）.MSC公司：68T05型 PDF格式BibTeX公司 XML格式引用 \textit{A.Roy}等人，《信息与计算》。31，第2号，207--225（2019；Zbl 07281707） 全文： 内政部
卡雷尔·奇瓦洛夫斯克;Jakubův，简;马丁·苏达;约瑟夫·乌尔班 ENIGMA-NG：针对E。 （英语） Zbl 07178977号 Fontaine，Pascal（编辑），自动扣除-CADE 27。第27届自动扣减国际会议，巴西纳塔尔，2019年8月27日至30日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11716, 197-215 (2019).MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{K.Chvalovsk}等人，Lect。注释计算。科学。11716、197--215（2019；Zbl 07178977） 全文： 内政部 arXiv公司
黄宗岩;英格兰，马修;大卫·威尔逊。;詹姆斯·布里奇;詹姆斯·H·达文波特。;劳伦斯·C·鲍尔森。 使用机器学习改进柱面代数分解。 （英语） 兹比尔1474.68464 数学。计算。科学。 13，第4号，461-488（2019）.MSC公司：68瓦30 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Huang}等人，数学。计算。科学。13，第4号，461--488（2019；Zbl 1474.68464） 全文： 内政部 arXiv公司
张宇农;尹永华;郭东胜;于晓天;小林 用于模式分类的切比雪夫多项式神经网络的基于交叉验证的权重和结构确定。 （英语） 兹比尔1373.68362 模式识别 47，第10号，3414-3428（2014）.MSC公司：68吨10 33立方厘米 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Zhang}等人，模式识别47，No.10，3414--3428（2014；Zbl 1373.68362） 全文： 内政部
黄宗岩;英格兰，马修;大卫·威尔逊;詹姆斯·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公司