Hermax: A Unified MaxSAT Library (Tool Paper).

Josep Maria Salvia Hornos, Csar Fernndez Camn, Carles Mateu Piol

Browse the full SAT paper archive.