@InCollection{zbMATH06203487，作者={E{E}n，Niklas和S{“o}rensson，Niklas}，标题={增量{SAT}求解的时间归纳}，BookTitle={BMC'2003。第一届有界模型检验国际研讨会论文集，美国科罗拉多州博尔德市，2003年7月13日}，页码={543--560}，年份={2003}，出版商={阿姆斯特丹：爱思唯尔}，语言={英语}，关键词={68T20,68Q60}，URL={www.sciencedirect.com/science/article/pii/S1571066105825423}，zbMATH＝{6203487}，Zbl={1271.68215}}