“为MathSAT编码RTL构造:初步报告。”
马可·波扎诺 , 罗伯托·布鲁托梅索 , 亚历山德罗·西马蒂 , 安德斯·弗兰泽 , 齐亚德·汉纳 , 苏拉布·卡西达什维利 , 阿米特·帕尔蒂 , 罗伯托·塞巴斯蒂安尼 :
MathSAT的RTL结构编码:初步报告。 CAV的PDPAR 2005 : 3-14
由于引用数据不可用,以下列表可能不完整, 引用字符串可能未成功映射到dblp中列出的项,并且 我们没有针对这些列表中给出的所有项目的完整和精心策划的元数据。