Shantanu Dutt Halim Theny Partitioning around roadblocks: tackling constraints with intermediate relaxations. 350-355 1997 ICCAD http://doi.acm.org/10.1145/266388.266506 db/conf/iccad/iccad1997.html#DuttT97