马特奥·马雷斯科蒂;安蒂·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。计算。57、534--542(2018;Zbl 1415.68197) 全文: 内政部
卡波迪,G。;卡穆拉蒂,体育。;A.米什琴科。;M.帕莱纳。;帕西尼,P。 IC3中SAT求解器管理策略:实验方法。 (英文) Zbl 1360.68580号 形式方法系统。设计。 50,编号1,39-74(2017).MSC公司:60年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{G.Cabodi}等人,《形式方法系统》。设计。50,第1号,39--74(2017;Zbl 1360.68580) 全文: 内政部