马丁·布利查;安蒂·E·J·海瓦·里宁。;马特奥·马雷斯科蒂;娜塔莎·莎莉吉娜 一种用于属性定向归纳的协作并行化方法。 (英语) Zbl 07228511号 Beyer,Dirk(编辑)等人,《验证、模型检查和抽象解释》。第21届国际会议,VMCAI 2020,美国洛杉矶新奥尔良,2020年1月16-21日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11990, 270-292 (2020).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Blicha}等人,Lect。注释计算。科学。11990、270--292(2020;Zbl 07228511) 全文: 内政部
马特奥·马雷斯科蒂;安蒂·E·J·海瓦·里宁。;娜塔莎·莎莉吉娜 SMTS:分布式可视化约束求解。 (英语) Zbl 1415.68197号 Barthe,Gilles(编辑)等人,LPAR-22。第22届编程、人工智能和推理逻辑国际会议,埃塞俄比亚阿瓦萨,2018年11月17日至21日。精选论文。曼彻斯特:EasyChair。EPiC系列。计算。57, 534-542 (2018).MSC公司:68T20型 68宽10 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{M.Marescotti}等人,EPiC Ser。计算。57534-542(2018年;兹比尔1415.68197) 全文: 内政部