- Clause Redundancy and Preprocessing in Maximum Satisfiability together with Hannes Ihalainen and Matti Järvisalo.
- Improvements to the Implicit Hitting Set Approach to Pseudo-Boolean Optimization together with Pavel Smirnov and Matti Järvisalo.
- MaxSAT-Based Bi-Objective Boolean Optimization together with Christoph Jabs, Andreas Niskanen and Matti Järvisalo.
- Incremental Maximum Satisfiability together with Andreas Niskanen, Matti Järvisalo.
If you want to discuss any of these in more detail, let me know and I’d be happy to.
Once again, thanks to all my co-authors!