An efficient cost-based canonical form for Boolean matching.

Giovanni Agosta Francesco Bruschi Donatella Sciuto

Published in: ACM Great Lakes Symposium on VLSI (2007)

Keyphrases

canonical form
matching algorithm
pattern matching
image matching
rewrite rules
databases
tree structures