LMHS: A SAT-IP Hybrid MaxSAT Solver.

Paul Saikko, Jeremias Berg, Matti Jrvisalo

Browse the full SAT paper archive.