论文部分内容阅读
＃SA T 问题又称模型计数（model counting ）问题是人工智能领域的研究热点之一，在人工智能领域被广泛应用。在对基于扩展规则的＃SAT 问题求解方法CER（counting models using extension rules）深入研究的基础上，提出一种结合互补度的＃SA T 问题求解方法。在计算给定子句集的模型个数时，利用SE‐Tree（set enumeration tree）形式化地表达计算过程，逐步生成需要计算的子句集合，并在SE‐T ree中添加终止结点，避免大部分含互补文字子