@第{zbMATH06544914条，作者={Griggio，Alberto}，Title={一种实用的可满足性模线性整数运算方法}，FJournal={可满足性、布尔建模和计算杂志}，Journal={J.满足布尔模型计算}，ISSN={1574-0617}，体积={8}，数字={1-2}，页码={1--27}，年份={2012}，语言={英语}，关键词={68T20,68T15,90C09}，zbMATH={6544914}，Zbl={1331.68207}}