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 journalArticle

4 Downloads (Pure)
Original languageEnglish
Pages (from-to)824-834
JournalInternational Journal of Computational Intelligent System
Volume10
Issue number1
Early online date1 May 2017
DOIs
Publication statusE-pub ahead of print - 1 May 2017

Keywords

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

Cite this