尼古拉·卡夫;克里斯特尔·拜尔;马丁·迪勒;克莱门斯,杜布拉夫;莎拉·爱丽丝·加格尔;霍尔格·赫尔曼斯 概率论证中的可接受性。 (英语) Zbl 07566003号 J.阿蒂夫。智力。研究(JAIR) 74, 957-1009 (2022).MSC公司:68次发射 PDF格式BibTeX公司 XML格式引用 \textit{N.Käfer}等人,J.Artif。智力。研究(JAIR)74,957--1009(2022;Zbl 07566003) 全文: 内政部
莱昂·普朗肯。;马蒂杰斯·德·维特(Mathijs M.de Weerdt)。;范德克罗格特(van der Krogt),罗曼·P·J·。 利用低树宽计算所有对最短路径。 (英语) Zbl 1244.68062号 J.阿蒂夫。智力。研究(JAIR) 43, 353-388 (2012). 审核人:蒂莫西·沃尔什(蒙特利尔) MSC公司:68兰特 05C85号 05立方38 68周05 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{L.R.Planken}等人,J.Artif。智力。研究(JAIR)43,353--388(2012;Zbl 1244.68062) 全文: 内政部 arXiv公司
A.西马蒂。;A.格里乔。;R·塞巴斯蒂亚尼。 在可满足模理论中计算小的不可满足核。 (英语) Zbl 1216.68241号 J.阿蒂夫。智力。研究(JAIR) 40, 701-728 (2011).MSC公司:68T20型 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,J.Artif。智力。研究(JAIR)40,701--728(2011;Zbl 1216.68241) 全文: 内政部 arXiv公司