Chair for Foundations of Software Reliability and Theoretical Computer Science
Home
Contact
Teaching
People
Publications
Student Projects
Research
Tools
Help
Thesis Details
Thesis:An Advanced Solver for Presburger Arithmetic
Please have a look at the solver
here
Status: Finished
Contact: esparza@in.tum.de
Supervisor: Javier Esparza
Contact
