唐玉兰, 张惠国, 于宗光. 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：

唐玉兰, 张惠国, 于宗光. 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：