Layout decomposition via boolean satisfiability

Hongduo Liu, Peiyu Liao, Mengchuan Zou, Bowen Pang, Xijun Li, Mingxuan Yuan, Tsung-Yi Ho, Bei Yu
January 2024
Cite
Type
Journal article
Publication
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Add the full text or supplementary notes for the publication here using Markdown formatting.