@进行中{FazekasSB16，author={Katalin Fazekas和马蒂娜·塞德尔和Armin Biere}，title={量化布尔公式的对偶意识演算}，booktitle={{SYNASC}}，页数={181--186}，publisher={{IEEE}计算机协会}，年份={2016年}}