This page shows all presentations of this author published in EasyChair Smart Slide.
RP: Evaluation of Equational Constraints for CAD in SMT Solving
Rebecca Haehn, Gereon Kremer and Erika Ábrahám