Marco Bozzano等人：为MathSAT编码RTL构造：初步报告。(2005) 日记账/entcs/BozzanoBCFHKPS06 2016年10月10日/J.ENTCS.2005.12.001 Q62041351号 MathSAT的RTL结构编码：初步报告。 8 马可·波扎诺 1 罗伯托·布鲁托梅索 2 亚历山德罗·西马蒂 三 安德斯·弗兰泽 4 齐亚德·汉娜 5 苏拉布·卡西达什维利 6 阿米特·帕尔蒂 7 罗伯托·塞巴斯蒂亚尼 8 3-14 CAV的PDPAR CAV的PDPAR 2005 2006 dblp记录“journals/entcs/BozzanoBCFHKPS06”的RDF数据的来源信息 2022-12-16T10:28:03+0100