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.