Unifying Partitioning and Placement for SAT-Based Exploration of Heterogeneous Reconfigurable SoCs | IEEE Conference Publication | IEEE Xplore