@第{zbMATH06184687条，作者={J{“a}rvisalo，Matti and Biere，Armin and Heule，Marijn J.H.}，标题={在{CNF}}上模拟电路级简化，FJournal={自动推理杂志}，日志={J.自动推理}，ISSN={0168-7433}，体积={49}，数字={4}，页码={583--619}，年份={2012}，语言={英语}，DOI={10.1007/s10817-011-9239-9}，关键词={94C10,68T15,68T20}，zbMATH={6184687}，Zbl={1267.94144}}