Marco Bozzano等人：MathSAT：SAT与数学决策程序的紧密结合。(2005) 期刊/jar/BozzanoBCJRSS05 10.1007/S10817-005-9004-Z号 第62041379号 数学SAT：SAT与数学决策程序的紧密结合。 7 马尔科·博扎诺 1 罗伯托·布鲁托梅索 2 亚历山德罗·西马蒂 三 汤米·A·琼蒂拉 4 彼得·范·罗苏姆 5 斯蒂芬·舒尔茨0001 6 罗伯托·塞巴斯蒂亚尼 7 265-293 J.汽车。原因。 J.汽车。原因。 35 1-3 2005 dblp记录“journals/jar/BozzanoBCJRSS05”的RDF数据的来源信息 2021-10-14T09:28:14+0200