This author has not been identified. Look up 'Ambros M. Gleixner' in GoogleThis author has not been identified. Look up 'Gregor Hendel' in GoogleThis author has not been identified. Look up 'Gerald Gamrath' in GoogleThis author has not been identified. Look up 'Tobias Achterberg' in GoogleThis author has not been identified. Look up 'Michael Bastubbe' in GoogleThis author has not been identified. Look up 'Timo Berthold' in GoogleThis author has not been identified. Look up 'Philipp Christophel' in GoogleThis author has not been identified. Look up 'Kati Jarck' in GoogleThis author has not been identified. Look up 'Thorsten Koch' in GoogleThis author has not been identified. Look up 'Jeff T. Linderoth' in GoogleThis author has not been identified. Look up 'Marco E. Lübbecke' in GoogleThis author has not been identified. Look up 'Hans D. Mittelmann' in GoogleThis author has not been identified. Look up 'Derya B. Özyurt' in GoogleThis author has not been identified. Look up 'Ted K. Ralphs' in GoogleThis author has not been identified. Look up 'Domenico Salvagnin' in GoogleThis author has not been identified. Look up 'Yuji Shinano' in Google