You are here: Home › … › Student Projects and … › Finished › [B.Sc. Project] On-line Simplificaton …

[B.Sc. Project] On-line Simplificaton of Formulas

Implement an simplification algorithm for formulas.
Course type B.Sc. Project
Instructors Matthias Heizmann1
Credits 6
Course Catalog
In this Project we extend our SMT solver SmtInterpol2 by the simplification algorithm for formulas which was presented by Işıl Dillig3,Thomas Dillig4 and Alex Aiken5

in the following paper:

Small Formulas for Large Programs: On-line Constraint Simplification in Scalable Static Analysis 6

Links

  1. https://swt.informatik.uni-freiburg.de/staff/heizmann
  2. https://swt.informatik.uni-freiburg.de/tool/smtinterpol
  3. http://www.cs.wm.edu/~idillig/
  4. http://www.cs.wm.edu/~tdillig/
  5. http://theory.stanford.edu/~aiken/
  6. http://www.cs.wm.edu/%7Etdillig/sas2010.pdf