« April 2018 »
April
MoTuWeThFrSaSu
1
2345678
9101112131415
16171819202122
23242526272829
30
Uni-Logo
You are here: Home Teaching Student Projects and Thesis Topics Finished [B.Sc. Project] On-line Simplificaton of Formulas
Document Actions

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

Implement an simplification algorithm for formulas.

Course type B.Sc. Project
Instructors Matthias Heizmann
Credits 6
Course Catalog
In this Project we extend our SMT solver SmtInterpol by the simplification algorithm for formulas which was presented by Işıl Dillig,Thomas Dillig and Alex Aiken

in the following paper:

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

Personal tools