Jessica Davies and Fahiem
Bacchus. Exploiting
the Power of MIP Solvers in MAXSAT. Proceedings of
the 16th International Conference on Theory and
Applications of Satisfiability Testing (SAT 2013)
Fahiem Bacchus, Antti Hyttinen, Matti Järvisalo, Paul
Saikko. Reduced Cost Fixing in MaxSAT.
Proceedings of the 23rd International Conference on Principles and Practice of Constraint Programming
(CP 2017)
Randy Hickey and Fahiem
Bacchus.
Speeding Up Assumption-Based SAT Proceedings of the
22nd International Conference on Theory and Applications
of Satisfiability Testing (SAT 2019)