This page shows all presentations of this author published in EasyChair Smart Slide.
MaxSAT-Based Bi-Objective Boolean Optimization
Christoph Jabs, Jeremias Berg, Andreas Niskanen and Matti Järvisalo