- haehn at cs.rwth-aachen.de
- +49 241 80 21243
- Room 4228
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.
|[bibtex] [issue]||Erika Ábrahám, Nils Nießen, Rebecca Haehn. Freight Train Scheduling in Railway Systems, International Conference on Measurement, Modelling and Evaluation of Computing Systems 2020 (MMB 2020), Volume 12040 of LNCS, 225-241, Springer, 2020.|
|[bibtex] [issue]||Erika Ábrahám, Gereon Kremer, Rebecca Haehn. 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, -32, RWTH Aachen, 2018.|