MAXCell: PPA-Directed Multi-Height Cell Layout Routing Optimization using Anytime MaXSAT with Constraint Learning. - Jiun-Cheng Tsai; Wei-Min Hsu; Yun-Ting Hsieh; Yu-Ju Li; Wei Huang; C. N. Ho; Hsuan-Ming Huang; Jen-Hang Yang; Heng-Liang Huang; Aaron C.-W. Liang; Charles H.-P. Wen (ICCAD, 2024)