Abstract: SAT solvers have practical applications across various domains, such as artificial intelligence, software verification, etc. Despite the development of various rephasing strategies, ...