全国中文核心期刊
中国科技核心期刊
RCCES核心期刊
SCD核心期刊
一种增加了对称破缺的改进子集可满足性算法
唐玉兰, 张惠国, 于宗光
An improved sub-SAT algorithm of adding symmetry-breaking
Tang Yulan, Zhang Huiguo, Yu Zongguang
江苏大学学报自然科学版 . 2010, (3): 318 -322 .  DOI: 10.3969/j.issn.1671-7775.2010.03.016