Theses

Implicit Hitting Set Algorithms for Constraint Optimization [pdf]

Re-implementing and Extending a Hybrid SAT-IP Approach to Maximum Satisfiability [pdf]

Received thesis of the year award from the Finnish Society for Computer Science

Algorithmic Mechanism Design [pdf]