Incremental Satisfiability Solving and its Applications

Thesis supplement