« May 2013 »
May
MoTuWeThFrSaSu
12345
6789101112
13141516171819
20212223242526
2728293031
Uni-Logo
You are here: Home › Teaching › Student Projects and Thesis Topics › In progress › [B.Sc. Thesis] Simplificaton of Formulas
Document Actions

[B.Sc. Thesis] Simplificaton of Formulas

Course type Bachelor Thesis
Instructors Matthias Heizmann
Credits ?? usual amount for Bachelor Thesis
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.

 

 
Personal tools