安德烈·希德勒;斯泽德,斯特凡 用SAT计算最优超树分解。 (英语) Zbl 1531.68064号 Artif公司。智力。 325,文章ID 104015,18 p.(2023).MSC公司:68兰特 05C65号 68T20型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{A.Schidler}和\textit{S.Szeider},Artif。智力。325,文章ID 104015,18 p.(2023;Zbl 1531.68064) 全文: 内政部 OA许可证
亚历山德罗·西马蒂;安德烈亚·米凯利;马可·罗维里 基于SMT的不确定性析取时间问题弱可控性方法。 (英语) Zbl 1343.68237号 Artif公司。智力。 224, 1-27 (2015).MSC公司:68层37 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,Artif。智力。224,1--27(2015;Zbl 1343.68237) 全文: 内政部