MCell: Multi-Row Cell Layout Synthesis with Resource Constrained MAX-SAT Based Detailed Routing | IEEE Conference Publication | IEEE Xplore