Peter Großmann

Publication Activity (10 Years)

Years Active: 2012-2022
Publications (10 Years): 5

Top Topics

Search Algorithm

Variable Neighborhood Descent

Satisfiability Testing

Top Venues

Publications

Julian Reisch, Peter Großmann
Automatic Refactoring and Compile Time Optimization of Cpp Projects by Directly Including Header Files. ICCTA (2022)
Julian Reisch, Peter Großmann, Daniel Pöhle, Natalia Kliewer
Conflict resolving - A local search algorithm for solving large scale conflict graphs in freight railway timetabling. Eur. J. Oper. Res. 293 (3) (2021)
Julian Reisch, Peter Großmann, Natalia Kliewer
Stable Resolving - A Randomized Local Search Heuristic for MaxSAT. KI (2020)
Philine Gattermann, Peter Großmann, Karl Nachtigall, Anita Schöbel
Integrating Passengers' Routes in Periodic Timetabling: A SAT approach. ATMOS (2016)
Michael Kümmling, Peter Großmann, Karl Nachtigall, Jens Opitz, Reyk Weiß
A state-of-the-art realization of cyclic railway timetable computation. Public Transp. 7 (3) (2015)
Peter Großmann
Automatic Scheduling of Periodic Event Networks by SAT Solving. OR (2012)
Peter Großmann, Steffen Hölldobler, Norbert Manthey, Karl Nachtigall, Jens Opitz, Peter Steinke
Solving Periodic Event Scheduling Problems with SAT. IEA/AIE (2012)