Thu, 09.06.2016
The paper Impact of SAT-Based Preprocessing on Core-Guided MaxSAT Solving by Jeremias Berg and Matti Järvisalo (Constraint Reasoning and Optimization group) has been accepted for publication in the proceedings of the 22nd International Conference on Principles and Practice of Constraint Programming (CP 2016).
Last updated on 9 Jun 2016 by Matti Järvisalo - Page created on 9 Jun 2016 by Matti Järvisalo