皮·马蒂厄;穆罕默德·萨米·谢里夫;贾马尔·哈贝特 Max-SAT的证明和证书。 (英语) 兹伯利07639823 J.阿蒂夫。智力。研究(JAIR) 75, 1373-1400 (2022).MSC公司:68泰克 PDF格式BibTeX公司 XML格式引用 \textit{M.Py}等人,J.Artif。智力。(JAIR)第75号决议,第1373号决议——第1400号决议(2022年;Zbl 07639823) 全文: 内政部
比什瓦米特拉·戈什;德米特里·马利奥托夫;Kuldeep S.梅尔。 有效学习可解释的分类规则。 (英语) Zbl 07596562号 J.阿蒂夫。智力。研究(JAIR) 74, 1823-1863 (2022).MSC公司:68泰克 PDF格式BibTeX公司 XML格式引用 \textit{B.Ghosh}等人,J.Artif。智力。研究(JAIR)74,1823-1863(2022;Zbl 07596562) 全文: 内政部 arXiv公司