课题基金 / 基金详情

SAT相关问题的求解算法研究

批准号：
--
项目类别：
青年科学基金项目
资助金额：
30 万元
负责人：
付慧敏
依托单位：
西南财经大学
学科分类：
计算机科学的基础理论
结题年份：
--
批准年份：
2022
项目状态：
未结题
项目参与者：
付慧敏
关键词：
SAT问题求解算法

相似基金

相关文献

国内基金
海外基金