雅罗斯拉夫·本迪克;伊万娜·乔纳 最小不可满足子集枚举的领域无关方法的评估。 （英语） Zbl 1415.68184号 Barthe，Gilles（编辑）等人，LPAR-22。第22届编程、人工智能和推理逻辑国际会议，埃塞俄比亚阿瓦萨，2018年11月17日至21日。精选论文。曼彻斯特：EasyChair。EPiC系列。计算。第57131-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号 约束条件 第2223-250号第21页（2016年）.MSC公司：90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.H.Liffiton}等人，《约束21》，第2期，223--250（2016；Zbl 1334.90080） 全文： 内政部