%0 Journal Article
%T 结合互补度的基于扩展规则#SAT问题求解方法
%A 刘思光
%A 张立明
%A 欧阳丹彤
%A 贾凤雨
%J -
%D 2016
%R 10.7544/issn1000-1239.2016.20150032
%X #SAT问题又称模型计数(model counting)问题..
%K [扩展规则
%K 模型计数
%K CER方法
%K 互补度
%K 集合枚举树
%K extension rule
%K model counting
%K CER (counting models using extension rules) algorithm
%K complementary degree
%K SE-Tree (set enumeration tree)]
%U http://crad.ict.ac.cn/CN/10.7544/issn1000-1239.2016.20150032