@收款{zbMATH06852667，作者={张，南，段，振华，田，丛，杜，洪伟，杨，凯}，标题={建模和验证多核程序}，BookTitle={组合优化与应用。第11届国际会议，COCOA2017，中国上海，2017年12月16日至18日。诉讼程序。第二部分}，国际标准图书编号={978-3-319-71146-1；978-3-3169-71147-8}，页码={492--500}，年份={2017年}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-319-71147-8_36}，关键词={68Q60,68Q85}，zbMATH={6852667}，Zbl={1474.68196}}