The paper "Reduced Cost Fixing in MaxSAT", authored by Antti Hyttinen, Matti Järvisalo, and Paul Saikko of the Constraint Reasoning and Optimization group in collaboration with Fahiem Bacchus (University of Toronto, Canada), has won the Distinguished Paper Award at CP 2017, 23rd International Conference on Principles and Practice of Constraint Programming, taking place August 28-31, 2017 in Melbourne, Australia. 

The work describes a way of using linear programming techniques to speeding up state-of-the-art solvers for the maximum satisfiability Boolean optimization paradigm.

The CP conference series is a top international venue for research on constraint processing and optimization world-wide, and is ranked on the highest level JUFO-2 for conferences of the Finnish publication venue ranking Julkaisufoorumi.