@未收集{zbMATH07121807,作者{Quoc Sang{Phan}},Title={DPLL模理论的符号执行},书名{2014帝国理工学院计算机学生研讨会,ICCSW'14,伦敦,英国,2014年9月25-26日},ISBN={978-3-939897-76-7},页数{58--65},年份:{2014},Publisher={Wadern:Schloss Dagstuhl--Leibniz Zentrum f\“你的信息”,语言{英语},DOI={10.4230/OASIcs.ICCSW.2014.58},MSC2010={68N30 68T20},Zbl={1427.68050}}