Info [B.Sc. Thesis] Simplificaton of Formulas Course type Bachelor Thesis Instructors Matthias Heizmann Credits 12 Course Catalog Extend the simplification algorithm presented by Işıl Dillig,Thomas Dillig and Alex Aiken in the paper Small Formulas for Large Programs: On-line Constraint Simplification in Scalable Static Analysis to all kinds of Boolean terms allowed in the SMT-lib format. Implement your algorithm in our SMT solver SmtInterpol and prove the correctness of our algorithm.
