结合互补度的基于扩展规则#SAT问题求解方法

DOI: 10.7544/issn1000-1239.2016.20150032

Keywords: [扩展规则, 模型计数, CER方法, 互补度, 集合枚举树, extension rule, model counting, CER (counting models using extension rules) algorithm, complementary degree, SE-Tree (set enumeration tree)]

Full-Text   Cite this paper   Add to My Lib

Abstract:

#SAT问题又称模型计数(model counting)问题..

Full-Text