H Abubakar, M Idris - Artificial Neural Networks-Recent Advances …, 2023 - intechopen.com
Abstract The Boolean Satisfiability Problem (BSAT) is one of the crucial decision problems in
the fields of computing science, operation research, and mathematical logic that is resolved …