MSTC: A Method for Identifying Overconstraints during Hierarchical Compaction.

Cyrus Bamji, Ravi Varadarajan

Browse the full DAC paper archive.