位置：成果数据库 > 期刊 > 期刊详情页
Optimizing with Minimum Satisfiability
  • ISSN号：0004-3702
  • 期刊名称：Artificial Intelligence
  • 时间：2012.10.10
  • 页码：32-44
  • 相关项目：引入命题逻辑支持组合优化问题的求解——以图顶点染色问题为研究介质
作者： C.M.Li|Z.Zhu|F.Manyà|L.Simon|
同期刊论文项目
引入命题逻辑支持组合优化问题的求解——以图顶点染色问题为研究介质
期刊论文 15 会议论文 3 获奖 4
同项目期刊论文
Geometry optimization of bimetallic clusters using an efficient heuristic method
Geometry Optimization of Atomic Clusters Using a Heuristic Method with Dynamic Lattice Searching
Structural optimization of silver clusters from Ag-141 to Ag-310 using a Modified Dynamic Lattice Se
预测Au13-75团簇基态结构的启发式算法
基于格局变换策略的不等圆Packing问题求解算法
Lennard-Jones团簇最低能量构型的预测
基于分支定界法的关键链项目计划重排
A New Encoding from MinSAT into MaxSAT
求解等球packing问题的两个策略
球形容器内等球装填问题的启发式算法
Prediction of the lowest energy configuration for Lennard-Jones clusters
Global Optimization of Binary Lennard-Jones Clusters Using Three Perturbation Operators
求解不等圆Packing问题的带全局变换禁忌搜索算法
不等圆Packing问题的拟物型邻域搜索算法