Exploiting the Power of mip Solvers in maxsat.

Jessica Davies, Fahiem Bacchus

Browse the full SAT paper archive.