×
模态框（Modal）标题
在这里添加一些文本
关闭
关闭
提交更改
取消
确定并提交
×
模态框（Modal）标题
×
中国计算机学会会刊
中国科技核心期刊
中文核心期刊
首页
期刊介绍
编委会
投稿指南
投稿须知
排版规范
投稿模板
审稿流程
常见问题
开放获取
出版道德
期刊订阅
下载中心
联系我们
English
基于社区结构的CDCL启发式算法
何飞, 王晓峰, 唐傲, 彭庆媛, 华盈盈, 王军霞
Heuristic for CDCL solver based on community structure
计算机工程与科学 . 2026, (
4
): 718 -730 .
