@文章{zbMATH06255900，作者={Menai、Mohamed El Bachir和Al-Yahya、Tasniem Nasser}，Title={分部的精确方法分类{最大}-{SAT}}，FJournal={计算机科学与技术杂志}，期刊={J.计算机科学技术}，ISSN={1000-9000}，体积={28}，数字={2}，页码={232--246}，年份={2013}，语言={英语}，DOI={10.1007/s11390-013-1325-5}，关键词={68T20,68Q25}，zbMATH={6255900}，Zbl={1280.68243}}