A Review Study of Sat Algorithms: Complete and Incomplete: Exploring the Serial Sat Algorithms and Their Completeness. JASRAE 2019, 16 (6), 2717-2719.