@第{zbMATH07153709条，作者={Amendola、Giovanni和Ricca、Francesco和Truszczynski、Miroslaw}，Title={生成硬随机{布尔}公式和析取逻辑程序的新模型}，FJournal={人工智能}，日志={Artif.Intern.}，ISSN={0004-3702}，体积={279}，页码={26}，注={Id/No 103185}，年份={2020年}，语言={英语}，DOI={10.1016/j.artint.2019.103185}，关键词={68T20,68N17,68Q87}，zbMATH={7153709}，Zbl={1478.68316}}