Hierarchical graph reduction approach to symbolic circuit analysis with data sharing and cancellation-free properties.

Yang Song, Guoyong Shi

Browse the full ASPDAC paper archive.