CAD transactions best paper award "Floorplanning using a tree representation"