@第{zbMATH05263038条，作者={Fr{\“a}nzle，Martin and Herde，Christian and Teige，Tino and Ratschan，Stefan and Schubert，Tobias}，Title={具有复杂{布尔}结构}的大型非线性算术约束系统的有效求解，FJournal={可满足性、布尔建模和计算杂志}，Journal={J.满足布尔模型计算}，ISSN={1574-0617}，体积={1}，数字={3-4}，页码={209--236}，年份={2006}，语言={英语}，关键词={68T20}，zbMATH={5263038}，Zbl={1144.68371}}