SAT-based Circuit Local Improvement | Read Paper on Bytez