A fast and robust MaxSAT solver

Latest News
  • MaxHS is open source.  (Oct 24, 2014)
  • MaxHS v2.9 now available.  (Feb 10, 2016)

Archive

MaxHS solves Weighted Partial MaxSat problems.

Papers

  1. Jessica Davies PhD Thesis, Department of Computer Science, University of Toronto 2013.
  2. Jessica Davies and Fahiem Bacchus Postponing Optimization to Speed Up MAXSAT Solving. Proceedings of the 19th International Conference on Principles and Practice of Constraint Programming (CP 2013)
  3. 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)
  4. Jessica Davies and Fahiem Bacchus. Solving MAXSAT by Solving a Sequence of Simpler SAT Instances. Proceedings of the 17th International Conference on Principles and Practice of Constraint Programming (CP 2011).