Marco Bozzano等人：通过延迟理论组合的有效可满足模理论。(2005) conf/cav/BozzanoBCJRRS05 10.1007/11513988_34 Q62041373号 基于延迟理论组合的有效可满足模理论。 7 马可·波扎诺 1 罗伯托·布鲁托梅索 2 亚历山德罗·西马蒂 三 汤米·A·琼蒂拉 4 西尔维奥·兰伊斯 5 彼得·范·罗苏姆 6 罗伯托·塞巴斯蒂亚尼 7 335至349 CAV汽车 CAV汽车 2005 2005 dblp记录“conf/cav/BozzanoBCJRRS05”的RDF数据的出处信息 2019年6月2日下午1:10:36+0200