Rebecca Haehn


Email
haehn at cs.rwth-aachen.de
Phone
+49 241 80 21243
Address
Room 4228
Ahornstra├če 55
D-52074 Aachen

Hi, I am a PhD student in Erika Abraham’s group.

 

Publications

2018
LinkRebecca Haehn, Gereon Kremer, Erika Abraham. Evaluation of Equational Constraints for CAD in SMT Solving. Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation, Volume 2189 of CEUR Workshop Proceedings, pages 19–32, CEUR-WS.org, 2018.
Show all

Selected Talks