Richard M. Karp
University of California at Berkeley and International Computer Science Institute
Exploiting the power of MIP solvers in MAXSAT
SAT'13 Proceedings of the 16th international conference on Theory and Applications of Satisfiability Testing