F.: Exploiting the Power of mip Solvers in maxsat (2013)

by J Davies, Bacchus
Venue:International Conference on Theory and Applications of Satisfiability Testing. LNCS