·Awards and Honours
Current position:
英文主页
>
Awards and Honours
2013年, Chu-Min Li, Yanli Liu, Felip Manyà, Zhu Zhu,Kun He.国际Max-SAT问题求解算法评估赛,算法MaxSatz2013f被评为性能最好的算法之一,在“随机组”排名第一 (共18个参赛队),"crafted" 组排名第二 (共18个参赛队)
Release time:2018-02-28  Hits: