Welcome

This page provides supplementary material for my dissertation "Incremental Satisfiability Solving and its Applications". The text of the thesis is available here.

The most exciting supplementary material that is available here are videos of Tarmo's graphical visualizations and clause involvement visualization videos.

Siert Wieringa
web@siert.nl