Presentation for UnRAVeL application: Rebecca Haehn

Wednesday, 10.01.2018, 11:00am

Location: RWTH Aachen University, Department of Computer Science - Ahornstr. 55, building E3, room 9u10


Speaker: Rebecca Haehn


Title: Enhancing CAD by Equational Constraints and Computing Optimal Railway Schedules

In the first part of my talk, I will give an overview of the topic of my master thesis. I will explain how the cylindrical algebraic decomposition method, a decision procedure for real algebra in SMT solving, can be enhanced by using equational constraints. The second part will consist of an outlook on my proposed research in the Research Training Group, the application of satisfiability checking techniques to compute optimal railway schedules under the consideration of uncertainties.