Maximum-weight stable sets and safe lower bounds for graph coloring
Held, Stephan, Cook, William, Sewell, Edward C.
Published in Mathematical programming computation (01.12.2012)
Published in Mathematical programming computation (01.12.2012)
Get full text
Journal Article
Provably Fast and Near-Optimum Gate Sizing
Daboul, Siad, Hahnle, Nicolai, Held, Stephan, Schorr, Ulrike
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.12.2018)
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.12.2018)
Get full text
Journal Article
Global Routing With Timing Constraints
Held, Stephan, Muller, Dirk, Rotter, Daniel, Scheifele, Rudolf, Traub, Vera, Vygen, Jens
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.02.2018)
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.02.2018)
Get full text
Journal Article
Vehicle routing with time-dependent travel times: Theory, practice, and benchmarks
Blauth, Jannis, Held, Stephan, Müller, Dirk, Schlomberg, Niklas, Traub, Vera, Tröbst, Thorben, Vygen, Jens
Published in Discrete optimization (01.08.2024)
Published in Discrete optimization (01.08.2024)
Get full text
Journal Article
Two-level rectilinear Steiner trees
Held, Stephan, Kämmerling, Nicolas
Published in Computational geometry : theory and applications (01.02.2017)
Published in Computational geometry : theory and applications (01.02.2017)
Get full text
Journal Article
Post-routing latch optimization for timing closure
Held, Stephan, Schorr, Ulrike
Published in 2014 51st ACM/EDAC/IEEE Design Automation Conference (DAC) (01.06.2014)
Published in 2014 51st ACM/EDAC/IEEE Design Automation Conference (DAC) (01.06.2014)
Get full text
Conference Proceeding
Global Interconnect Optimization
Daboul, Siad, Held, Stephan, Natura, Bento, Rotter, Daniel
Published in 2019 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) (01.11.2019)
Published in 2019 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) (01.11.2019)
Get full text
Conference Proceeding
Local search algorithms for timing-driven placement under arbitrary delay models
Bock, Adrian, Held, Stephan, Kammerling, Nicolas, Schorr, Ulrike
Published in 2015 52nd ACM/EDAC/IEEE Design Automation Conference (DAC) (01.06.2015)
Published in 2015 52nd ACM/EDAC/IEEE Design Automation Conference (DAC) (01.06.2015)
Get full text
Conference Proceeding