@第{zbMATH07456377条，作者={Barbero、Stefano和Bellini、Emanuele和Sanna、Carlo和Verbel、Javier}，标题={求解{布尔}多项式系统的概率算法的实际复杂性}，FJournal={离散应用数学}，日志={离散应用数学}，ISSN={0166-218X}，体积={309}，页码={13--31}，年份={2022}，语言={英语}，DOI={10.1016/j.dam.2021.11.014}，关键词={68Q25,11T06,11Y16,68W40,94A60}，zbMATH={7456377}}