Arithmetic Circuit Correction by Adding Optimized Correctors Based on Groebner Basis Computation. - Negar Aghapour Sabbagh; Bijan Alizadeh (ETS, 2021)

Automatic Correction of Arithmetic Circuits in the Presence of Multiple Bugs by Groebner Basis Modification. - Negar Aghapour Sabbagh; Bijan Alizadeh (ACM Trans. Design Autom. Electr. Syst., 2024)