@第{zbMATH07294354条，作者={Uvarov，S.I.}，Title={3-{CNF}公式的改进生成器}，FJournal={自动化和远程控制}，日志={自动远程控制}，ISSN={0005-1179}，体积={81}，数字={1}，页码={130--138}，年份={2020年}，语言={英语}，DOI＝{10.1134/s005117920010117}，关键词={68T20,68Q87,68R07}，zbMATH={7294354}，Zbl={1497.68455}}