Welcome

From October 2007 until March 2014 I was employed at Aalto University (formerly Helsinki University of Technology TKK).
Here are some links relating to the research I performed in that time.

My thesis Incremental Satisfiability Solving and its Applications

Description of the iCNF file format for Incremental Satisfiability Solving

My latest publically available code

My list of publications on DBLP

E-mail: web@siert.nl