SOFA-H: Post-Synthesis Area Optimization via Functionally Encoded, Net-Driven Subgraph Mining and SAT-Based Hypercell Remapping. - Jimmy Y.-C. Lee; Yen-Ju Su; Jiun-Cheng Tsai; Aaron C.-W. Liang; Charles H.-P. Wen; Hsuan-Ming Huang (ASP-DAC, 2026)