位置：立项数据库 > 立项详情页
基于概率推理求解命题逻辑可满足性问题的局部搜索技术研究
  • 项目名称：基于概率推理求解命题逻辑可满足性问题的局部搜索技术研究
  • 项目类别：面上项目
  • 批准号：61272014
  • 项目来源：国家自然科学基金
  • 研究期限：1900-01-01-1900-01-01
  • 项目负责人：许贵平
  • 依托单位：华中科技大学
  • 批准年度：2012
成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 6
  • 0
  • 0
  • 0
  • 0
期刊论文
四维时空高效利用的装箱调度问题及其可计算性证明
求解二维矩形Packing面积最小化问题的动态归约算法
基于优化冲突集提高下界的MAXSAT完备算法
动作空间带平衡约束圆形Packing问题的拟物求解算法？
基于加强概率控制策略的SAT局部搜索算法
许贵平的项目