Sign in
Fast Algebraic Rewriting Based on And-Inverter Graphs.
Cunxi Yu
Maciej J. Ciesielski
Alan Mishchenko
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2018)
Keyphrases
</>
rewriting rules
graph matching
algebraic structures
graph theoretic
directed graph
graph theory
graph representation
fuzzy logic
rewrite rules
graph databases
graph structure
graph kernels
graph construction
induction motor
input output
higher order
special case