SAT-based Circuit Local Improvement