A logical deduction based clause learning algorithm for Boolean satisfiability problems

Q.S. Chen, Y. Xu, Jun Liu, X.X. He

Research output: Contribution to journalArticlepeer-review

79 Downloads (Pure)
Original languageEnglish
Pages (from-to)824-834
JournalInternational Journal of Computational Intelligent System
Issue number1
Early online date1 May 2017
Publication statusPublished online - 1 May 2017


  • Boolean Satisfiability
  • SAT Problem
  • Clause Learning
  • Logical Deduction
  • Implication Graph

Cite this