Hongduo Liu Peiyu Liao Mengchuan Zou Bowen Pang Xijun Li Mingxuan Yuan Tsung-Yi Ho Bei Yu 0001 Layout Decomposition via Boolean Satisfiability. 1112-1125 2025 March 44 IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 3 https://doi.org/10.1109/TCAD.2024.3467220 db/journals/tcad/tcad44.html#LiuLZPLYHY25 streams/journals/tcad