@收款{zbMATH07299497，作者={Idziak，Pawe{l}M.和Kawa{l}ek，Piotr和Krzaczkowski，Jacek}，标题={模块电路可满足性中的中间问题}，BookTitle={2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2020，虚拟事件，2020年7月8日至11日}，ISBN＝{978-1-4503-7104-9}，页码={578--590}，年份={2020年}，Publisher={纽约，NY:计算机协会（ACM）}，语言={英语}，DOI={10.1145/3373718.3394780}，关键词={68-XX}，zbMATH={7299497}}