Tue, 05.04.2016
The paper LMHS: A SAT-IP Hybrid MaxSAT Solver by Paul Saikko, Jeremias Berg, and Matti Järvisalo has been accepted for publication in the proceedings of the 19th International Conference on Theory and Applications of Satisfiability Testing (SAT 2016).
The paper describes details of the LMHS MaxSAT solver that took top positions in the most recent 2015 MaxSAT Evaluation. LMHS was developed as part of Paul Saikko's MSc thesis.
Last updated on 5 Apr 2016 by Matti Järvisalo - Page created on 5 Apr 2016 by Matti Järvisalo