@进行中{KieslS19，author={Benjamin Kiesl和玛蒂娜·塞德尔}，editor={Mikol{\'{a}}的Janota和在{^{e}}s Lynce}中，title={{QRAT}多项式模拟{\（全部\）}{\textbackslash}text-Exp+Res}，booktitle={第22届国际会议教授可满足性测试理论与应用（{SAT}2019）}，series={计算机科学讲稿}，体积={11628}，页数={193--202}，publisher={Springer}，年份={2019}，}