亚辛·伊扎;阿列克谢·伊格纳提耶夫;若昂·西尔瓦侯爵 关于处理决策树中的解释冗余。 （英文） Zbl 07603113号 J.阿蒂夫。智力。研究（JAIR） 75, 261-321 (2022).MSC公司：68泰克 PDF格式BibTeX公司 XML格式引用 \textit{Y.Izza}等人，J.Artif。智力。研究（JAIR）75，261--321（2022；Zbl 07603113） 全文： 内政部 arXiv公司
于金强;阿列克谢·伊格纳提耶夫;彼得·斯图基（Peter J.Stuckey）。;皮埃尔·勒·博迪奇 使用SAT学习最优决策集和列表。 （英文） Zbl 1522.68489号 J.阿蒂夫。智力。研究（JAIR） 72, 1251-1279 (2021).MSC公司：68T05型 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Yu}等人，J.Artif。智力。研究（JAIR）72，1251--1279（2021；Zbl 1522.68489） 全文： 内政部
阿列克谢·伊格纳提耶夫;菲利佩·佩雷拉;尼娜·纳罗季斯卡;若昂·西尔瓦侯爵 一种基于SAT的学习可解释决策集的方法。 （英文） Zbl 1511.68249号 Galmiche，Didier（编辑）等人，《自动推理》。2018年7月14日至17日在英国牛津举行的第九届国际联合会议IJCAR 2018，作为联邦逻辑会议的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10900, 627-645 (2018).MSC公司：68T20型 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{A.Ignatiev}等人，Lect。注释计算。科学。10900，627--645（2018年；Zbl 1511.68249） 全文： 内政部