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

Debatosh Debnath, Tsutomu Sasao

Browse the full ASPDAC paper archive.