黄色直播

文章内容

2023年8月，经国家自然科学基金委员会批准，黄色直播 王永平老师申请的国家自然科学基金项目“严格d-正则 (3, s)-CNF公式的可满足性问题研究”获准立项，资助金额32万元。