A

AIG Minimization

Minimization of "And-Inverter-Graphs" (AIGs) by rewriting