Efficient computation of canonical form for Boolean matching in large libraries.

Debatosh Debnath Tsutomu Sasao

Published in: ASP-DAC (2004)

Keyphrases

efficient computation
canonical form
computational efficiency
decision diagrams
digital libraries
image matching
rewrite rules
databases
computational complexity
feature points