“…The SAT problem is an interesting problem in computer science which is NP-complete ( Biere et al, 2009 ). Many studies concerning this area have been conducted ( Sohanghpurwala, Hassan & Athanas, 2017 ) where some of the studies do not only concern in the theoretical aspect but also in implementation and application ( Ojeda, 2023 ; Zha, Chang & Noda, 2022 ; Alonso, Sánchez & Sánchez-Rubio, 2022 ; Ramamoorthy & Jayagowri, 2021 ; Mayank & Mondal, 2020 ). Some algorithms and some SAT solvers have been developed to solve the SAT problem ( Fu et al, 2022 ; Berend, Golan & Twitto, 2022 ; Bian et al, 2020 ; Li et al, 2020 ; Molnár et al, 2020 ).…”