在今年的模型计数竞赛中,赖永副教授提交的ExactMC求解工具获得无权组亚军。和往年一样,模型计数竞赛伴随SAT会议(CCF推荐为B类会议)一起举办。获悉,无权组是今年模型计数竞赛中竞争最激烈的赛道,竞争者来自美国加州大学洛杉矶分校、新加坡国立大学、日本名古屋大学、挪威卑尔根大学、芬兰赫尔辛基大学、法国阿尔图瓦大学等知名高校的人工智能研究人员。
值得一提的是,赖永副教授去年也获得了模型计数竞赛无权组亚军,这也使得菠菜导航网成为国内继北京大学、中科院软件所、华中科技大学之后又一所获得可满足性相关竞赛冠亚军的科研单位。