2023年8月，經(jīng)國(guó)家自然科學(xué)基金委員會(huì)批準(zhǔn)，我院王永平老師申請(qǐng)的國(guó)家自然科學(xué)基金項(xiàng)目“嚴(yán)格d-正則 (3, s)-CNF公式的可滿足性問題研究”獲準(zhǔn)立項(xiàng)，資助金額32萬元。