SMT-Based Placement for System-on-Chip Design | IEEE Conference Publication | IEEE Xplore