Wojciechowski,P。;苏布拉马尼,K。 关于Horn约束系统树状和匕首状切割平面长度的反驳。Horn约束系统和切割平面反驳。 (英语) Zbl 1507.90102号 安。数学。Artif公司。智力。 90,第10号,979-998(2022).MSC公司:90C05(二氧化碳) PDF格式BibTeX公司 XML格式引用 \textit{P.Wojciechowski}和\textit{K.Subramani},Ann.数学。Artif公司。智力。90,第10号,979--998(2022;Zbl 1507.90102) 全文: 内政部
本·莫斯科夫斯基 使用区间和时间反转进行组合推理。 (英语) Zbl 1378.03017号 安。数学。Artif公司。智力。 71,编号1-3,175-250(2014).MSC公司:03B44号 03B70型 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Moszkowski},Ann.数学。Artif公司。智力。71,编号1-3175-250(2014年;兹bl 1378.03017) 全文: 内政部
里奥布,雷诺 FoCaL语言的不变量。 (英语) Zbl 1184.68467号 安。数学。Artif公司。智力。 56,第3-4、273-296号(2009年).MSC公司:68吨15 68瓦30 60年第68季度 68问题65 68N99型 08A99号 PDF格式BibTeX公司 XML格式引用 \textit{R.Rioboo},Ann.数学。Artif公司。智力。56,编号:3-4273-296(2009年;兹bl 1184.68467) 全文: 内政部
罗伯特·布鲁托梅索;亚历山德罗·西马蒂;安德斯·弗兰岑;阿尔贝托·格里乔;罗伯托·塞巴斯蒂亚尼 延迟理论组合与Nelson-Oppen关于可满足性模理论的比较分析。 (英语) Zbl 1192.68627号 安。数学。Artif公司。智力。 55,编号1-2,63-99(2009).MSC公司:68吨15 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruttomesso}等人,《数学年鉴》。Artif公司。智力。55,编号1--2,63-99(2009;Zbl 1192.68627) 全文: 内政部 链接