Padberg, J.; Hoffmann, K. Preface. ECEASST 2012, 51.