马克西米利亚诺·克里斯蒂亚;吉安弗兰科·罗西 具有有限整数区间的有限集理论的决策过程。 (英语) Zbl 07807741号 ACM事务处理。计算。日志。 25,第1号,第3号论文,34页(2023年).MSC公司:03B70号 68年XX月 PDF格式BibTeX公司 XML格式引用 \textit{M.Cristiá}和\textit{G.Rossi},ACM翻译。计算。日志。25,第1号,第3号论文,34页(2023;Zbl 07807741) 全文: 内政部 arXiv公司
马克西米利亚诺·克里斯蒂亚;吉安弗兰科·罗西 限制内涵集的自动推理。 (英语) Zbl 07432188号 J.汽车。推理 65,第6号,809-890(2021).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{M.Cristiá}和\textit{G.Rossi},J.Autom。推理65,No.6,809--890(2021;Zbl 07432188) 全文: 内政部 arXiv公司
马克西米利亚诺·克里斯蒂亚;吉安弗兰科·罗西 求解有限集和二元关系上的无量词一阶约束。 (英语) Zbl 1468.03009号 J.汽车。推理 64,第2期,295-330(2020年).MSC公司:03B35型 68N17号 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{M.Cristiá}和\textit{G.Rossi},J.Autom。推理64,No.2,295--330(2020;Zbl 1468.03009) 全文: 内政部