Globally optimal floorplanning for a layout problem | Synapse