马里奥·阿尔维亚诺;卡明·多达罗;佛罗伦萨,萨尔瓦多;亚历山德罗·普雷维蒂;弗朗西斯科·里卡 ASP和子集极小性:枚举、谨慎推理和MUS。 (英语) Zbl 07702961号 Artif公司。智力。 320,文章ID 103931,25 p.(2023).MSC公司:68泰克 PDF格式BibTeX公司 XML格式引用 \textit{M.Alviano}等人,Artif。智力。320,文章ID 103931,25 p.(2023;Zbl 07702961) 全文: 内政部
马里奥·阿尔维亚诺;卡明·多达罗;佛罗伦萨,萨尔瓦多;亚历山德罗·普雷维蒂;弗朗西斯科·里卡 WASP中最小模型和MUS的枚举。 (英语) Zbl 07671876号 Gottlob,Georg(编辑)等人,《逻辑编程和非单调推理》。第16届国际会议,LPNMR 2022,意大利热那亚,2022年9月5日至9日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13416, 29-42 (2022).MSC公司:68N17号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{M.Alviano}等人,Lect。注释计算。科学。13416,29-42(2022;Zbl 07671876) 全文: 内政部
雅罗斯拉夫·本迪克;伊万娜·乔纳 最小不可满足子集枚举的领域无关方法的评估。 (英语) Zbl 1415.68184号 Barthe,Gilles(编辑)等人,LPAR-22。第22届编程、人工智能和推理逻辑国际会议,埃塞俄比亚阿瓦萨,2018年11月17日至21日。精选论文。曼彻斯特:EasyChair。EPiC系列。计算。57, 131-142 (2018).MSC公司:68T20型 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{J.Bendík}和\textit{I.Choerná},EPiC Ser。计算。57、131--142(2018;Zbl 1415.68184) 全文: 内政部
马克·利菲顿(Mark H.Liffiton)。;亚历山德罗·普雷维蒂;阿马尔·马利克;若昂·西尔瓦侯爵 快速、灵活的MUS枚举。 (英语) Zbl 1334.90080号 约束条件 21,第2期,223-250(2016).MSC公司:90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.H.Liffiton}等人,《约束21》,第2期,223--250(2016;Zbl 1334.90080) 全文: 内政部