您当前位置: 首页  >  新闻中心  >  学院新闻  >  正文

学院新闻

赖永副教授获模型计数竞赛亚军

发布日期:2022-11-15 发布人: 点击量:

  在今年的模型计数竞赛中,赖永副教授提交的ExactMC求解工具获得无权组亚军。和往年一样,模型计数竞赛伴随SAT会议(CCF推荐为B类会议)一起举办。获悉,无权组是今年模型计数竞赛中竞争最激烈的赛道,竞争者来自美国加州大学洛杉矶分校、新加坡国立大学、日本名古屋大学、挪威卑尔根大学、芬兰赫尔辛基大学、法国阿尔图瓦大学等知名高校的人工智能研究人员。

  值得一提的是,赖永副教授去年也获得了模型计数竞赛无权组亚军,这也使得金沙威尼斯欢乐娱人城成为国内继北京大学、中科院软件所、华中科技大学之后又一所获得可满足性相关竞赛冠亚军的科研单位。