A Logical Deduction Based Clause Learning Algorithm for Boolean Satisfiability Problems
The International journal of computational intelligence systems/International journal of computational intelligence systems