Layout Decomposition via Boolean Satisfiability.

Hongduo Liu, Peiyu Liao, Mengchuan Zou, Bowen Pang, Xijun Li, Mingxuan Yuan, Tsung-Yi Ho, Bei Yu

Browse the full DAC paper archive.