@收款{zbMATH07121807，作者={Phan，Quoc-Sang}，标题={符号执行为{DPLL}模理论}，BookTitle={2014年帝国理工学院计算机专业学生研讨会，ICCSW’14，英国伦敦，2014年9月25日至26日}，国际标准图书编号={978-3-939897-76-7}，页码={58--65}，年份={2014}，出版商=｛Wadern:Schloss Dagstuhl-Leibniz Zentrum f｛\“u｝r Informatik｝，语言={英语}，DOI={10.4230/OASIcs.ICCSW.2014.58}，关键词={68N30,68T20}，zbMATH={7121807}，Zbl={1427.68050}}