@进行中{KieslHS17，author={Benjamin Kiesl和Marijn J.H.Heule和玛蒂娜·塞德尔}，editor={Serge Gaspers和托比·沃尔什}，title={一个小小的阻塞文字走了很长的路}，booktitle={第20届国际会议可满足性测试的理论与应用（{SAT}2017）}，series={计算机科学讲稿}，体积={10491}，页码={281--297}，publisher={Springer}，年份={2017年}，url={https://doi.org/10.1007/978-3-319-66263-3_18},doi＝{10.1007/978-3-319-66263-3_18}，}