Thu, 16.04.2015
The paper "Improving the Effectiveness of SAT-Based Preprocessing for MaxSAT" by Jeremias Berg, Paul Saikko, and Matti Järvisalo (Constraint Reasoning and Optimization group) has been accepted for publication in the proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015).
Last updated on 16 Apr 2015 by Matti Järvisalo - Page created on 16 Apr 2015 by Matti Järvisalo