A Logical Deduction Based Clause Learning Algorithm for Boolean Satisfiability Problems
International Journal of Computational Intelligence Systems - United Kingdom
doi 10.2991/ijcis.2017.10.1.55
Full Text
Open PDFAbstract
Available in full text
Date
January 1, 2017
Authors
Publisher
Atlantis Press