Incremental SAT-Based Correction of Gate Level Circuits by Reusing Partially Corrected Circuits. - Bijan Alizadeh; Yasaman Abadi (IEEE Trans. Circuits Syst., 2020)