@进行中{DBLP:conf/tacas/HeuleB18，author={Marijn J.H.Heule和Armin Biere}，editor={德克·拜尔和玛丽克·惠斯曼（Marieke Huisman），title={变量带来的差异}，booktitle={系统构建和分析的工具和算法-2018年第24届国际会议{TACAS}，作为欧洲软件理论与实践联合会议2018年，希腊塞萨洛尼基，2018年4月14日至20日，会议记录，第{II}}部分，series={计算机科学讲稿}，体积={10806}，页数={75--92}，publisher={Springer}，年份={2018年}，}