模型计数问题精确求解方法的研究

61403076
2014
F0601.人工智能基础
周俊萍
青年科学基金项目
副教授
东北师范大学
26万元
简化策略;精确算法;可解类;结构特征;模型计数问题
2015-01-01到2017-12-31
  • 中英文摘要
  • 结题摘要
  • 结题报告
  • 项目成果
  • 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
重置
序号 标题 类型 作者
1 Phase Transition for Maximum Not-All-Equal Satisfiability 会议论文 Junping Zhou;Shuli Hu;Tingting Zouin;Minghao Y
2 GRASP for connected dominating set problems 期刊论文 Ruizhi Li;Shuli Hu;Jian Gao;Yupeng Zhou;Yiyuan Wang;Minghao Yin
3 A novel local search algorithm for the minimum capacitated dominating set 期刊论文 Ruizhi Li;Shuli Hu;Peng Zhao;Minghao Yin
4 The Community Structure of the Constraint Satisfaction Problem Instances of Model RB 期刊论文 Li Ruizhi;Hu Shuli;Wang Jianan
5 A hybrid metaheuristic algorithm for generalized vertex cover problem 期刊论文 Shuli Hu;Ruizhi Li;Peng Zhao;Minghao Yin
6 Local Search for Minimum Weight Dominating Set with Two-Level Configuration Checking and Frequency Based Scoring Function 期刊论文 Wang Yiyuan;Cai Shaowei;Yin Minghao
7 An efficient local search framework for the minimum weighted vertex cover problem 期刊论文 Li Ruizhi;Hu Shuli;Zhang Haochen;Yin Minghao
8 New heuristic approaches for maximum balanced biclique problem. 期刊论文 Yiyuan Wang;Shaowei Cai;Minghao Yin
9 A memetic algorithm for minimum independent dominating set problem 期刊论文 Wang Yiyuan;Chen Jiejiang;Sun Huanyao;Yin Minghao
10 A path cost-based GRASP for minimum independent dominating set problem 期刊论文 Yiyuan Wang;Ruizhi Li;Yupeng Zhou;Minghao Yin
11 Two Local Search Algorithms for Partition Vertex Cover Problem 期刊论文 Yupeng Zhou;Haochen Zhang;Ruizhi Li;Jianan Wang
12 求解MinSAT问题的加强式格局检测与子句加权算法 期刊论文 周俊萍;任雪亮;殷茜;李睿智;殷明浩
13 求解SMT问题的局部搜索算法 期刊论文 周俊萍;李睿智;曾志勇;殷明浩
14 A local search algorithm with tabu strategy and perturbation mechanism for generalized vertex cover problem 期刊论文 Li Ruizhi;Hu Shuli;Wang Yiyuan;Yin Minghao
15 New heuristic approaches for maximum balanced biclique problem. 期刊论文 Yiyuan Wang;Shaowei Cai;Minghao Yin
查看更多信息请先登录或注册

相关项目

趋势报告

经验分享