@博士学位{Lonsing-PhD-Thessis-2012，作者={弗洛里安·朗辛}，title={依赖方案和基于搜索的QBF求解：理论与实践}，年份={2012}，series={Wissenschaften}技术论文，学校={林茨约翰内斯·开普勒大学Informatik}}