在今年的模型計數競賽中，賴永副教授提交的ExactMC求解工具獲得無權組亞軍。和往年一樣，模型計數競賽伴随SAT會議（CCF推薦為B類會議）一起舉辦。獲悉，無權組是今年模型計數競賽中競争最激烈的賽道，競争者來自美國加州大學洛杉矶分校、新加坡國立大學、日本名古屋大學、挪威卑爾根大學、芬蘭赫爾辛基大學、法國阿爾圖瓦大學等知名高校的人工智能研究人員。
值得一提的是，賴永副教授去年也獲得了模型計數競賽無權組亞軍，這也使得伟德国际BETVlCTOR成為國内繼北京大學、中科院軟件所、華中科技大學之後又一所獲得可滿足性相關競賽冠亞軍的科研單位。
