@第{zbMATH07745122条，作者={凯里丁、安妮莎和雷诺、艾蒂安和巴里尔、苏海布}，Title={为解决有界模型检查问题寻求更好的启发式}，FJournal={约束}，日志={约束}，ISSN={1383-7133}，体积={28}，数字={1}，页码={45--66}，年份={2023}，语言={英语}，DOI＝{10.1007/s10601--022-09339-8}，关键词={68Q60,68T20}，zbMATH={7745122}，Zbl={1522.68329}}