Cunxi Yu et al.: Fast Algebraic Rewriting Based on And-Inverter Graphs. (2018)journals/tcad/YuCM1810.1109/TCAD.2017.2772854Fast Algebraic Rewriting Based on And-Inverter Graphs.3Cunxi Yu1Maciej J. Ciesielski2Alan Mishchenko31907-1911IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.3792018provenance information for RDF data of dblp record 'journals/tcad/YuCM18'2020-09-24T11:27:48+0200