模型计数问题近似求解方法研究
61976050
2019
F0601.人工智能基础
殷明浩
面上项目
教授
东北师范大学
58万元
模型计数；知识编译；骨架变量；相变现象；约束可满足
2020-01至2023-12
- 中英文摘要
- 结题摘要
- 结题报告
- 项目成果
- 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
未查询到项目成果
查看更多信息请先登录或注册
