A hierarchical constraint graph generation and compaction system for symbolic layout | IEEE Conference Publication | IEEE Xplore