@收款{zbMATH06539301，作者={Xu，Chao and Chen，Jianer and Wang，Jianxin}，Title={度3}实例的改进{{\textsc}}{MaxSAT}算法，BookTitle={组合优化与应用。第九届国际会议，COCOA 2015，美国德克萨斯州休斯顿，2015年12月18-20日。诉讼}，国际标准图书编号={978-3-319-26625-1；978-3-3169-26626-8}，页码={20--30}，年份={2015年}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-319-26626-8_2}，关键词={68R07,68W05,68W40}，zbMATH={6539301}，Zbl={1473.68116}}