基于分组的启发式SAT新算法——DC&DS算法

基于分组的启发式SAT新算法——DC&DS算法

陈丽 ¹,张必英 ²

Heuristic Boolean satisfiability algorithm based on grouping

CHEN Li ¹,ZHANG Bi-ying ²

计算机工程与应用 . 2008, (30): 64 -67 . DOI: 10.3778/j.issn.1002-8331.2008.30.019