@进行中{PreinerNiemetzBiere-TACAS17，author={Mathias Preiner和Aina Niemetz和Armin Biere}，title={反例-指导模型综合}，书名={{TACAS}{（1）}}，series={计算机科学讲稿}，体积={10205}，页数={264--280}，年份={2017年}}