Rebecca Haehn

haehn at
+49 241 80 21243
Room 4228
Ahornstraße 55
D-52074 Aachen

I am a PhD student in the DFG research training group UnRAVeL. My supervisors are Prof. Dr. Erika Ábrahám and Prof. Dr.-Ing. Nils Nießen. I am working on satisfiability checking for optimization of timetables in railway systems.


DOI restricted URL PDF [bibtex] Rebecca Haehn, Erika Ábrahám, Nils Nießen. Freight Train Scheduling in Railway Systems, International Conference on Measurement, Modelling and Evaluation of Computing Systems 2020 (MMB 2020), Volume 12040 of LNCS, pages 225-241, Springer, 2020.
fulltext PDF [bibtex] Rebecca Haehn, Gereon Kremer, Erika Ábrahám. Evaluation of Equational Constraints for CAD in SMT Solving, 3rd Workshop on Satisfiability Checking and Symbolic Computation co-located with Federated Logic Conference (SC-Square 2018), Volume 2189 of CEUR Workshop Proceedings, pages 19-32, RWTH Aachen, 2018.