唐玉兰, 张惠国, 于宗光. 一种增加了对称破缺的改进子集可满足性算法[J]. 江苏大学学报（自然科学版）, 2010,31(3).

唐玉兰, 张惠国, 于宗光. An improved sub-SAT algorithm of adding symmetry-breaking[J]. Journal of jiangsu University(Natural Science Edition), 2010, 31(3). DOI: 10.3969/j.issn.1671-7775.2010.03.016.

唐玉兰, 张惠国, 于宗光. 一种增加了对称破缺的改进子集可满足性算法[J]. 江苏大学学报（自然科学版）, 2010,31(3). DOI： 10.3969/j.issn.1671-7775.2010.03.016.

唐玉兰, 张惠国, 于宗光. An improved sub-SAT algorithm of adding symmetry-breaking[J]. Journal of jiangsu University(Natural Science Edition), 2010, 31(3). DOI: 10.3969/j.issn.1671-7775.2010.03.016. DOI：