Search for persons
X
?
2023 60th ACM/IEEE Design Automation Conference (DAC) ,
2
Layout Decomposition via Boolean Satisfiability:
, In:
?
Algorithms and Discrete Applied Mathematics; Lecture Notes in Computer Science ,
4
Approximating Modular Decomposition Is Hard:
, In:
?
Lecture Notes in Computer Science; Combinatorial Algorithms ,
5