Process Independent Constraint Graph Compaction.

David G. Boyer
Published in: DAC (1992)