@第{zbMATH07312008条，作者={Rybalov，A.N.}，标题={通用{NP}-完整性关于{布尔}电路的可满足性}问题，FJournal={Prikladnaya Diskretnaya Matematika}，日志={Prikl.Diskretn.Mat.}，ISSN＝{2071-0410}，体积={2020年}，数字＝｛47｝，页码={101--107}，年份={2020年}，语言={俄语}，DOI={10.17223/20710410/47/8}，关键词={68Q17，68Q06，68Q25，68W01，94C11}，zbMATH={7312008}，Zbl={1455.68071}}