Greedy Clique Decomposition for Symbolic Satisfiability Solving
Yanyan Xu -, Wěi Chén, Kaile Su, Wenhui Zhang · International Journal of Advancements in Computing Technology · 2012
(1) School of Information Science and Technology Beijing Forestry University China; (2) Naveen Jindal School of Management The University of Texas at Dallas United States; (3) College of Mathematics Physics and Information Engineering Zhejiang Normal University Jinhua China; (4) State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences China