欢迎您！
东篱公司
退出
申报数据库
申报指南
立项数据库
成果数据库
期刊论文
会议论文
著 作
专 利
项目获奖数据库
位置：
成果数据库
>
会议
> 会议详情页
Minimum satisfiability and its applications
所属机构名称：华中科技大学
会议名称：Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011)
时间：2011.5.5
成果类型：会议
相关项目：引入命题逻辑支持组合优化问题的求解——以图顶点染色问题为研究介质
作者：
C.M.Li|Z.Zhu|F.Manyà|L.Simon|
同会议论文项目
引入命题逻辑支持组合优化问题的求解——以图顶点染色问题为研究介质
期刊论文 15
会议论文 3
获奖 4
同项目会议论文
An efficient algorithm for solving the Arbitrary Sized Circle Packing Problem
A Quasi-human Growth Algorithm for the Protein Folding Problem
位置：
同会议论文项目
