Merkliste 
 1 Ergebnisse 
 
1

Layout Decomposition via Boolean Satisfiability:

, In: 2023 60th ACM/IEEE Design Automation Conference (DAC),
Liu, Hongduo ; Liao, Peiyu ; Zou, Mengchuan... - p. 1-6 , 2023