2013年, Chu-Min Li, Yanli Liu, Felip Manyà, Zhu Zhu,Kun He.国际Max-SAT问题求解算法评估赛，算法MaxSatz2013f被评为性能最好的算法之一，在“随机组”排名第一 (共18个参赛队)，"crafted" 组排名第二 (共18个参赛队)
2016年，德国海德堡阿贝尔/菲尔兹/图灵奖基金会全球200名杰出青年学者
