@会议记录{qbf16，editor={Florian Lonsing和玛蒂娜·塞德尔}，title={第四届量化布尔值国际研讨会论文集公式{（QBF}2016）与第19届国际会议合办满意度测试理论与应用研究{（SAT}2016），法国波尔多，2016年7月4日}，series={{CEUR}研讨会论文集}，体积={1719}，publisher={CEUR-WS.org}，年份={2016年}，}