GPSAT: A SAT based Global Placement for Large Scale Mixed-size Designs | IEEE Conference Publication | IEEE Xplore