An Efficient Local Search SAT Solver with Effective Preprocessing for Structured Instances. - Md Shibbir Hossen; Md. Masbaul Alam Polash (SN Comput. Sci., 2021)